src/ZF/Bool.thy
Thu, 10 Aug 2000 11:27:34 +0200 paulson installation of cancellation simprocs for the integers
Thu, 23 Jan 1997 10:40:21 +0100 wenzelm turned some consts into syntax;
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Fri, 29 Mar 1996 10:54:44 +0100 paulson Mended indentation
Tue, 06 Feb 1996 12:27:17 +0100 clasohm expanded tabs
Sat, 09 Dec 1995 13:36:11 +0100 clasohm removed quotes from consts and syntax sections
Fri, 23 Dec 1994 16:49:48 +0100 lcp Re-indented declarations; declared the number 2
Fri, 16 Dec 1994 17:39:43 +0100 lcp put quotation marks around constant "and" because it is a
Tue, 29 Nov 1994 00:31:31 +0100 lcp replaced "rules" by "defs"
Tue, 16 Nov 1993 14:24:21 +0100 clasohm made pseudo theories for all ML files;
Thu, 30 Sep 1993 10:10:21 +0100 lcp ex/{bin.ML,comb.ML,prop.ML}: replaced NewSext by Syntax.simple_sext
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip