| Fri, 20 Sep 2024 19:51:08 +0200 | wenzelm | standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing; | file | diff | annotate |
| Wed, 07 Oct 2015 23:28:49 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Thu, 23 Jul 2015 22:13:42 +0200 | wenzelm | more symbols by default, without xsymbols mode; | file | diff | annotate |
| Mon, 29 Dec 2014 21:02:49 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 02 Nov 2014 17:58:35 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sat, 01 Nov 2014 14:20:38 +0100 | wenzelm | eliminated spurious semicolons; | file | diff | annotate |
| Sun, 16 Feb 2014 21:33:28 +0100 | blanchet | folded 'list_all2' with the relator generated by 'datatype_new' | file | diff | annotate |
| Tue, 13 Aug 2013 11:13:26 +0200 | wenzelm | tuned proofs; | file | diff | annotate |