Wed, 24 Jul 2002 22:14:42 +0200 | wenzelm | removed unused locale_facts(_i); | changeset | files |
Wed, 24 Jul 2002 22:13:02 +0200 | wenzelm | tuned; | changeset | files |
Wed, 24 Jul 2002 17:59:12 +0200 | paulson | tweaks, aiming towards relativization of "satisfies" | changeset | files |