| Mon, 14 Sep 2009 08:36:57 +0200 | haftmann | some lemmas about strict order in lattices | changeset | files |
| Sun, 13 Sep 2009 02:10:41 +0200 | wenzelm | explicitly export type abbreviations (as usual in SML97); | changeset | files |
| Sun, 13 Sep 2009 02:07:52 +0200 | wenzelm | wrapper for Real.fmt -- via StringCvt.realfmt; | changeset | files |
| Sun, 13 Sep 2009 02:07:06 +0200 | wenzelm | made SML/NJ happy; | changeset | files |