src/ZF/Bool.thy
Thu, 03 Jan 2019 21:15:52 +0100 wenzelm isabelle update -u mixfix_cartouches;
Thu, 23 Jul 2015 14:25:05 +0200 wenzelm isabelle update_cartouches;
Sun, 02 Nov 2014 16:39:54 +0100 wenzelm modernized header;
Tue, 06 Mar 2012 16:06:52 +0000 paulson Using mathematical notation for <-> and cardinal arithmetic
Tue, 06 Mar 2012 15:15:49 +0000 paulson mathematical symbols instead of ASCII
Thu, 01 Mar 2012 17:13:54 +0000 paulson Removal of obsolete ML bindings
Sun, 20 Nov 2011 20:15:02 +0100 wenzelm eliminated obsolete "standard";
Fri, 18 Feb 2011 16:22:27 +0100 wenzelm more precise headers;
Mon, 06 Sep 2010 19:13:10 +0200 wenzelm more antiquotations;
Sat, 13 Mar 2010 16:44:12 +0100 wenzelm removed old CVS Ids;
Sun, 07 Oct 2007 21:19:31 +0200 wenzelm modernized specifications;
Sun, 07 Oct 2007 15:49:25 +0200 wenzelm replaced some 'translations' by 'abbreviation';
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Sun, 14 Jul 2002 15:14:43 +0200 paulson improved presentation markup
Tue, 09 Jul 2002 23:05:26 +0200 paulson better document preparation
Tue, 02 Jul 2002 13:28:08 +0200 paulson Tidying and introduction of various new theorems
Sat, 22 Jun 2002 18:28:46 +0200 paulson converted Bool, Trancl, Rel to Isar format
Tue, 18 Jun 2002 18:45:07 +0200 paulson tidying
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