src/FOL/simpdata.ML
Fri, 25 Nov 1994 00:02:37 +0100 lcp added blank line
Fri, 17 Jun 1994 17:49:03 +0200 lcp atomize: borrowed HOL version, which checks for both Trueprop
Tue, 24 May 1994 09:04:03 +0200 nipkow Modified mk_meta_eq to leave meta-equlities on unchanged.
Fri, 13 May 1994 11:25:55 +0200 lcp FOL/simpdata: added etac FalseE in setsolver call. Toby: "now that the
Thu, 17 Mar 1994 13:54:50 +0100 lcp FOL/simpdata: tidied
Wed, 05 Jan 1994 19:41:37 +0100 nipkow updated solver of FOL_ss. see change of HOL/simpdata.ML
Tue, 12 Oct 1993 13:39:35 +0100 nipkow Added gen_all to simpdata.ML.
Thu, 16 Sep 1993 16:55:17 +0200 nipkow defined local addcongs
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip