| 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 |