| 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 |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Sat, 01 Nov 2014 14:20:38 +0100 | wenzelm | eliminated spurious semicolons; | file | diff | annotate |