| Wed, 26 Sep 2007 11:27:46 +0200 | wenzelm | declare_constraints: declare (fix) type variables within constraints, but not terms themselves; | changeset | files |
| Wed, 26 Sep 2007 09:05:58 +0200 | haftmann | made SML/NJ happy | changeset | files |
| Tue, 25 Sep 2007 21:08:36 +0200 | haftmann | rudimentary support for Haskell | changeset | files |