| Sat, 29 May 2010 12:30:02 +0200 | Christian Urban | added example from Tobias and changed the title | file | diff | annotate |
| Thu, 27 May 2010 10:39:07 +0200 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Mon, 24 May 2010 20:02:11 +0100 | Christian Urban | added phi for morphisms | file | diff | annotate |
| Mon, 17 May 2010 18:20:48 +0100 | Christian Urban | updated to new Isabelle | file | diff | annotate |
| Mon, 17 May 2010 17:27:21 +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 |