Fri, 26 Feb 2010 10:48:20 +0100 | haftmann | implement quotient_of for odl SML code generator | changeset | files |
Fri, 26 Feb 2010 09:20:18 +0100 | haftmann | adjusted to cs. e4a7947e02b8 | changeset | files |
Wed, 24 Feb 2010 14:42:28 +0100 | haftmann | bound argument for abstype proposition | changeset | files |