src/HOL/Reconstruction.thy
2005-06-24 paulson 2005-06-24 meson method taking an argument list
2005-06-20 wenzelm 2005-06-20 use Tools/ATP/VampCommunication.ML;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2005-05-26 paulson 2005-05-26 goodby to modUnix
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-19 paulson 2005-05-19 Skolemization of simprules and classical rules
2005-04-28 paulson 2005-04-28 fixed treatment of higher-order simprules
2005-04-19 paulson 2005-04-19 more tidying of libraries in Reconstruction
2005-04-12 paulson 2005-04-12 tweaks mainly to achieve sml/nj compatibility
2005-04-08 paulson 2005-04-08 Reconstruction code, now packaged to avoid name clashes
2005-04-08 paulson 2005-04-08 temporarily removed ATP code
2005-04-07 quigley 2005-04-07 Reconstruction.thy and IsaMakefile updated
2005-04-04 quigley 2005-04-04 Updated to add watcher code.
2005-04-01 paulson 2005-04-01 patch to get it working again
2004-12-07 paulson 2004-12-07 all theories must be related to Reconstruction
2004-12-02 paulson 2004-12-02 new CLAUSIFY attribute for proof reconstruction with lemmas
2004-08-20 paulson 2004-08-20 proof reconstruction for external ATPs