| Mon, 14 Sep 2009 08:36:58 +0200 | haftmann | more antiquotations | changeset | files |
| 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 |
| Sat, 12 Sep 2009 16:30:48 +0200 | wenzelm | standard headers and text sections; | changeset | files |
| Fri, 11 Sep 2009 09:53:02 +0200 | nipkow | merged | changeset | files |
| Fri, 11 Sep 2009 09:52:40 +0200 | nipkow | Made record parameter flexible to allow for extensions | changeset | files |