src/HOL/Tools/ATP/recon_transfer_proof.ML
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-15 paulson 2005-04-15 yet more tidying up: removal of some references to Main
2005-04-12 paulson 2005-04-12 tweaks mainly to achieve sml/nj compatibility
2005-04-11 paulson 2005-04-11 removal of Main and other tidying up
2005-04-08 paulson 2005-04-08 Reconstruction code, now packaged to avoid name clashes
2005-04-06 quigley 2005-04-06 watcher.ML and watcher.sig changed. Debug files now write to tmp.
2005-03-31 quigley 2005-03-31 *** empty log message ***