| Fri, 29 Oct 2010 11:49:56 +0200 | wenzelm | eliminated obsolete \_ escapes in rail environments; | file | diff | annotate |
| Mon, 25 Oct 2010 16:14:40 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Mon, 18 Oct 2010 15:35:20 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 17 Oct 2010 20:25:36 +0100 | wenzelm | use continental paragraph style, which works better with mixture of (in)formal text; | file | diff | annotate |
| Wed, 13 Oct 2010 13:05:23 +0100 | wenzelm | examples in Isabelle/HOL; | file | diff | annotate |
| Mon, 11 Oct 2010 21:10:50 +0100 | wenzelm | more refs; | file | diff | annotate |
| Sat, 09 Oct 2010 21:04:03 +0100 | wenzelm | various concrete ML antiquotations; | file | diff | annotate |
| Thu, 07 Oct 2010 12:39:01 +0100 | wenzelm | minor tuning and updating; | file | diff | annotate |
| Fri, 10 Sep 2010 15:42:14 +0200 | wenzelm | fixed antiquotation; | file | diff | annotate |
| Mon, 26 Apr 2010 11:20:18 +0200 | wenzelm | updated Sign.add_type_abbrev; | file | diff | annotate |
| Fri, 16 Apr 2010 12:51:57 +0200 | wenzelm | made SML/NJ happy; | file | diff | annotate |
| Wed, 14 Apr 2010 11:24:31 +0200 | wenzelm | updated Thm.add_axiom/add_def; | file | diff | annotate |
| Tue, 23 Mar 2010 12:29:41 +0100 | wenzelm | updated Thm.add_axiom/add_def; | file | diff | annotate |
| Tue, 02 Feb 2010 12:37:57 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Thu, 28 Jan 2010 22:38:11 +0100 | wenzelm | formal markup of type aliases; | file | diff | annotate |