src/ZF/Induct/FoldSet.thy
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Sun, 09 Apr 2017 20:44:35 +0200 wenzelm clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;
Sat, 10 Oct 2015 22:19:06 +0200 wenzelm tuned syntax -- more symbols;
Thu, 23 Jul 2015 14:25:05 +0200 wenzelm isabelle update_cartouches;
Tue, 06 Mar 2012 16:46:27 +0000 paulson mathematical symbols for Isabelle/ZF example theories
Sat, 17 Oct 2009 14:43:18 +0200 wenzelm eliminated hard tabulators, guessing at each author's individual tab-width;
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
Tue, 24 Jun 2003 16:32:59 +0200 paulson Converting ZF/UNITY to Isar
Tue, 27 May 2003 11:39:03 +0200 paulson updating ZF-UNITY with Sidi's new material
Fri, 31 May 2002 15:06:06 +0200 paulson conversion of Finite to Isar format
Wed, 30 Jan 2002 12:22:40 +0100 paulson Multiset: added the translation Mult(A) => A-||>nat-{0}
Sat, 29 Dec 2001 18:36:12 +0100 wenzelm tuned document sources;
Wed, 07 Nov 2001 18:12:12 +0100 paulson Sidi Ehmety's port of the fold_set operator and multisets to ZF.
less more (0) tip