| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Thu, 03 Jan 2019 21:15:52 +0100 | wenzelm | isabelle update -u mixfix_cartouches; | file | diff | annotate |
| Sun, 24 Jun 2018 15:57:48 +0200 | wenzelm | simplified ZF theory names (in contrast to 6a0801279f4c): session-qualification already achieves disjointness; | file | diff | annotate | base |
| Sun, 07 Oct 2007 21:19:31 +0200 | wenzelm | modernized specifications; | file | diff | annotate |
| Thu, 31 May 2007 12:06:31 +0200 | wenzelm | moved Integ files to canonical place; | file | diff | annotate |