| Mon, 17 May 2010 18:20:48 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Mon, 26 Apr 2010 05:20:01 +0200 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Sat, 24 Apr 2010 22:55:50 +0200 | Christian Urban | added a section to the introduction; described @{make_string} | file | diff | annotate |