| Fri, 29 Oct 2010 11:00:37 +0100 | Christian Urban | disabled foobar_prove; updated to new Isabelle | file | diff | annotate |
| Sat, 28 Aug 2010 13:27:16 +0800 | Christian Urban | updated to new isabelle | file | diff | annotate |
| Fri, 13 Aug 2010 18:05:30 +0800 | Christian Urban | updated to new isabelle | file | diff | annotate |
| Thu, 27 May 2010 10:39:07 +0200 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| 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 |