Fri, 26 Oct 2001 23:17:49 +0200 | berghofe | Fixed several bugs concerning arbitrarily branching datatypes. | changeset | files |
Fri, 26 Oct 2001 19:06:53 +0200 | berghofe | Eliminated occurrence of rule_format. | changeset | files |
Fri, 26 Oct 2001 18:16:45 +0200 | wenzelm | tuned; | changeset | files |