2005-05-26 paulson 2005-05-26 further tweaks to the SPASS setup
2005-05-26 paulson 2005-05-26 trying to set up portable calling sequences for SPASS and tptp2X
2005-05-24 paulson 2005-05-24 A new structure and reduced indentation
2005-05-23 quigley 2005-05-23 Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML. Changed watcher.ML so that the Unix.execute and Unix.reap functions are used instead of those in modUnix.ML, and consequently removed modUnix.ML from Reconstruction.thy
2005-05-03 quigley 2005-05-03 Replaced reference to SPASS with general one - set SPASS_HOME in settings file. Rewrote res_clasimpset.ML. Now produces an array of (thm, clause) in addition to writing out clasimpset as tptp strings. C.Q.
2005-04-21 paulson 2005-04-21 added hearder lines and deleted some redundant material
2005-04-21 paulson 2005-04-21 improved SML/NJ compatibility, etc.
2005-04-20 quigley 2005-04-20 Corrected the problem with the ATP directory.
2005-04-19 paulson 2005-04-19 more tidying of libraries in Reconstruction
2005-04-13 paulson 2005-04-13 new signalling primmitives for sml/nj compatibility
2005-04-08 paulson 2005-04-08 Reconstruction code, now packaged to avoid name clashes
2005-04-07 quigley 2005-04-07 Changed prob1.dfg to prob_1.dfg
2005-04-06 quigley 2005-04-06 watcher.ML and watcher.sig changed. Debug files now write to tmp.
2005-04-04 quigley 2005-04-04 CVSfj  ------------------------------------------------------------------- --------------------------------------------------------------- Temporarily added until res_axioms.ML is altered.
2005-03-31 quigley 2005-03-31 *** empty log message ***