| 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 |
| Wed, 24 Jul 2002 00:12:50 +0200 | wenzelm | tuned view; | changeset | files |
| Wed, 24 Jul 2002 00:11:56 +0200 | wenzelm | removed attribute "norm_hhf"; | changeset | files |
| Wed, 24 Jul 2002 00:11:24 +0200 | wenzelm | adapted fact names; | changeset | files |
| Wed, 24 Jul 2002 00:10:52 +0200 | wenzelm | predicate defs via locales; | changeset | files |
| Wed, 24 Jul 2002 00:09:44 +0200 | wenzelm | locales: predicate defs; | changeset | files |