src/HOL/Tools/ATP/recon_order_clauses.ML
Mon, 11 Apr 2005 16:25:31 +0200 paulson removal of Main and other tidying up
Fri, 08 Apr 2005 18:43:39 +0200 paulson Reconstruction code, now packaged to avoid name clashes
Thu, 31 Mar 2005 19:29:26 +0200 quigley *** empty log message ***
less more (0) tip