Thu, 30 Aug 2012 09:47:46 +0200 | blanchet | renamed ML function for consistency | changeset | files |
Thu, 30 Aug 2012 09:47:46 +0200 | blanchet | started work on datatype sugar | changeset | files |
Thu, 30 Aug 2012 09:47:46 +0200 | blanchet | killed obsolete "bnf_of_typ" command | changeset | files |