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 |