| Wed, 16 Mar 2011 21:14:43 +0100 | Christian Urban | precise path to LaTeXsugar | file | diff | annotate |
| Fri, 11 Mar 2011 08:51:39 +0000 | Christian Urban | more on the paper | file | diff | annotate |
| Wed, 02 Mar 2011 00:06:28 +0000 | Christian Urban | updated pearl papers | file | diff | annotate |
| Sun, 14 Nov 2010 16:34:47 +0000 | Christian Urban | merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy | file | diff | annotate |
| Tue, 12 Oct 2010 13:06:18 +0100 | Christian Urban | added a section about abstractions | file | diff | annotate |
| Sat, 04 Sep 2010 07:39:38 +0800 | Christian Urban | got rid of Nominal2_Supp (is now in Nomina2_Base) | file | diff | annotate |
| Tue, 04 May 2010 05:36:43 +0100 | Christian Urban | some preliminary changes to the pearl-jv paper | file | diff | annotate |
| Thu, 08 Apr 2010 09:12:13 +0200 | Christian Urban | added new paper directory for further work | file | diff | annotate |