| 2012-03-20 | Christian Urban | updated to new Isabelle (20 March) | file | diff | annotate |
| 2012-03-17 | Christian Urban | updated to new Isabelle (declared keywords) | file | diff | annotate |
| 2011-12-22 | Christian Urban | the default sort for type-variables in nominal specifications is fs; it is automatically addded | file | diff | annotate |
| 2011-12-18 | Christian Urban | partially localised the parsing process using functions fron Datatype | file | diff | annotate |
| 2011-12-17 | Christian Urban | Started Nominal2-Isabelle2011-1 branch and backported changeset 32abaea424bd | file | diff | annotate |
| 2011-12-15 | Christian Urban | updated to lates changes in the datatype package | file | diff | annotate |