2016-08-02 | wenzelm | tuned; | file | diff | annotate |
2015-12-26 | wenzelm | misc tuning and modernization; | file | diff | annotate |
2015-11-02 | wenzelm | tuned document; | file | diff | annotate |
2014-11-02 | wenzelm | modernized header; | file | diff | annotate |
2014-10-07 | wenzelm | more cartouches; | file | diff | annotate |
2014-02-20 | wenzelm | tuned proofs; | file | diff | annotate |
2012-11-15 | wenzelm | tuned -- eliminated obsolete citation of isabelle-ref; | file | diff | annotate |
2010-12-02 | wenzelm | more antiquotations; | file | diff | annotate |
2010-07-01 | wenzelm | misc tuning and modernization; | file | diff | annotate |
2009-10-20 | wenzelm | modernized session Isar_Examples; | file | diff | annotate | base |