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