src/ZF/ex/CoUnit.thy
Mon, 07 Dec 2015 10:23:50 +0100 wenzelm isabelle update_cartouches -c -t;
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:46:27 +0000 paulson mathematical symbols for Isabelle/ZF example theories
Fri, 13 May 2011 22:55:00 +0200 wenzelm proper Proof.context for classical tactics;
Sat, 13 Mar 2010 16:44:12 +0100 wenzelm removed old CVS Ids;
Sun, 07 Oct 2007 21:19:31 +0200 wenzelm modernized specifications;
Fri, 17 Jun 2005 16:12:49 +0200 haftmann migrated theory headers to new format
Fri, 16 Nov 2001 22:10:27 +0100 wenzelm converted;
Thu, 31 May 2001 18:28:23 +0200 paulson examples files start from Main instead of various ZF theories
Mon, 21 May 2001 14:36:24 +0200 paulson X-symbols for set theory
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
Mon, 19 Dec 1994 15:30:30 +0100 lcp removed quotes around "Datatype",
Fri, 12 Aug 1994 12:28:46 +0200 lcp installation of new inductive/datatype sections
less more (0) tip