Thu, 14 Jul 1994 11:37:08 +0200 | wenzelm | changed syntax "(| _ : _ |)" to "OFCLASS(_, _)"; | changeset | files |
Wed, 13 Jul 1994 10:13:52 +0200 | lcp | indentation and renaming of rules | changeset | files |
Tue, 12 Jul 1994 18:38:39 +0200 | lcp | minor updates | changeset | files |