| 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 |
| Tue, 25 Sep 2007 21:08:35 +0200 | haftmann | added support for Haskell, OCaml | changeset | files |
| Tue, 25 Sep 2007 21:08:34 +0200 | haftmann | Efficient_Nat and Pretty_Int integrated with ML_Int | changeset | files |
| Tue, 25 Sep 2007 17:06:19 +0200 | wenzelm | proper Sign operations instead of Theory aliases; | changeset | files |
| Tue, 25 Sep 2007 17:06:18 +0200 | wenzelm | tuned functor application; | changeset | files |