| Wed, 24 Jul 2002 17:59:12 +0200 | paulson | tweaks, aiming towards relativization of "satisfies" | changeset | files |
| Wed, 24 Jul 2002 16:16:44 +0200 | berghofe | Tuned type constraint of function merge_rules to make smlnj happy. | changeset | files |
| Wed, 24 Jul 2002 00:13:41 +0200 | wenzelm | AC18: meta-level predicate via locale; | changeset | files |