| Tue, 20 Mar 2012 11:26:10 +0000 | Christian Urban | updated to new Isabelle (20 March) | file | diff | annotate |
| Sat, 17 Mar 2012 05:13:59 +0000 | Christian Urban | updated to new Isabelle (declared keywords) | file | diff | annotate |
| Thu, 22 Dec 2011 13:10:30 +0000 | Christian Urban | the default sort for type-variables in nominal specifications is fs; it is automatically addded | file | diff | annotate |
| Sun, 18 Dec 2011 00:42:32 +0000 | Christian Urban | partially localised the parsing process using functions fron Datatype | file | diff | annotate |