| 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 |