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 |
Wed, 24 Jul 2002 00:08:52 +0200 | wenzelm | * Pure: locale specifications now produce predicate definitions; | changeset | files |