Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-25 15:29:55 -0700 (Thu, 25 May 2000)
Revision: 2986
Log message:
Splitted create_tptp into create_ax_statement and tptp_load.
Now editor/ml/ does not refer to Tptp_load which we had to comment and uncomment
all the time.