| Tue, 31 Aug 2010 21:03:08 +0800 | Christian Urban | slides of my talk | file | diff | annotate |
| Sun, 29 Aug 2010 13:36:03 +0800 | Christian Urban | renamed NewParser to Nominal2 | file | diff | annotate |
| Fri, 27 Aug 2010 03:37:17 +0800 | Christian Urban | "isabelle make test" makes all major examples....they work up to supp theorems (excluding) | file | diff | annotate |
| Sat, 10 Jul 2010 11:27:04 +0100 | Christian Urban | added material for slides | file | diff | annotate |
| Tue, 25 May 2010 00:24:41 +0100 | Christian Urban | added slides | file | diff | annotate |
| Thu, 29 Apr 2010 09:13:18 +0200 | Christian Urban | added stub for quotient paper; call with isabelle make qpaper | file | diff | annotate |
| Thu, 08 Apr 2010 09:12:13 +0200 | Christian Urban | added new paper directory for further work | file | diff | annotate |
| Tue, 06 Apr 2010 07:36:15 +0200 | Christian Urban | typos in paper | file | diff | annotate |