| Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
| 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 | base |