src/HOL/Tools/ATP/res_clasimpset.ML
Thu, 21 Apr 2005 15:05:24 +0200 paulson added hearder lines and deleted some redundant material
Wed, 20 Apr 2005 18:01:50 +0200 quigley Corrected the problem with the ATP directory.
Tue, 19 Apr 2005 18:08:44 +0200 paulson more tidying of libraries in Reconstruction
Fri, 15 Apr 2005 13:35:53 +0200 paulson more tidying up of the SPASS interface
Tue, 12 Apr 2005 11:08:25 +0200 paulson tweaks mainly to achieve sml/nj compatibility
Thu, 31 Mar 2005 19:47:30 +0200 quigley *** empty log message ***
less more (0) tip