| Sun, 09 Apr 2017 20:44:35 +0200 | wenzelm | clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy; | file | diff | annotate |
| Fri, 18 Feb 2011 16:22:27 +0100 | wenzelm | more precise headers; | file | diff | annotate |
| Sat, 13 Mar 2010 16:44:12 +0100 | wenzelm | removed old CVS Ids; | file | diff | annotate |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Mon, 04 Feb 2002 13:16:54 +0100 | paulson | New-style versions of these old examples | file | diff | annotate |
| Fri, 18 Aug 2000 12:31:20 +0200 | paulson | new example ZF/ex/NatSum | file | diff | annotate |