2011-03-16 | Christian Urban | precise path to LaTeXsugar | file | diff | annotate |
2011-03-11 | Christian Urban | more on the paper | file | diff | annotate |
2011-03-02 | Christian Urban | updated pearl papers | file | diff | annotate |
2010-11-14 | Christian Urban | merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy | file | diff | annotate |
2010-10-12 | Christian Urban | added a section about abstractions | file | diff | annotate |
2010-09-03 | Christian Urban | got rid of Nominal2_Supp (is now in Nomina2_Base) | file | diff | annotate |
2010-05-04 | Christian Urban | some preliminary changes to the pearl-jv paper | file | diff | annotate |
2010-04-08 | Christian Urban | added new paper directory for further work | file | diff | annotate |