src/HOL/Tools/ATP/recon_parse.ML
2005-04-21 paulson 2005-04-21 added hearder lines and deleted some redundant material
2005-04-09 paulson 2005-04-09 fixed the syntax of infix declarations
2005-04-08 paulson 2005-04-08 Reconstruction code, now packaged to avoid name clashes
2005-03-31 quigley 2005-03-31 *** empty log message ***