src/ZF/Bool.ML
Wed, 27 Jan 1999 10:31:31 +0100 paulson new typechecking solver for the simplifier
Mon, 28 Dec 1998 16:59:28 +0100 paulson new inductive, datatype and primrec packages, etc.
Thu, 06 Aug 1998 12:24:04 +0200 paulson even more tidying of Goal commands
Mon, 13 Jul 1998 16:43:57 +0200 paulson Huge tidy-up: removal of leading \!\!
Mon, 22 Jun 1998 17:12:27 +0200 wenzelm isatool fixgoal;
Mon, 03 Nov 1997 12:24:13 +0100 wenzelm isatool fixclasimp;
Wed, 08 Jan 1997 15:04:27 +0100 paulson Removal of sum_cs and eq_cs
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Tue, 30 Jan 1996 13:42:57 +0100 clasohm expanded tabs
Wed, 07 Dec 1994 13:12:04 +0100 clasohm added qed and qed_goal[w]
Fri, 19 Nov 1993 11:25:36 +0100 lcp expandshort and other trivial changes
Mon, 15 Nov 1993 14:33:40 +0100 lcp boolE: changed to have equality assumptions instead of P(c); proved many boolean laws
Thu, 07 Oct 1993 10:48:16 +0100 lcp added ~: for "not in"
Thu, 30 Sep 1993 10:10:21 +0100 lcp ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext
Fri, 17 Sep 1993 16:16:38 +0200 lcp Installation of new simplifier for ZF. Deleted all congruence rules not
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip