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 |
Tue, 12 Jul 1994 18:30:53 +0200 | lcp | chain_tac: deleted; just use etac mp | changeset | files |
Tue, 12 Jul 1994 18:20:39 +0200 | lcp | Improved error checking | changeset | files |
Tue, 12 Jul 1994 18:05:03 +0200 | lcp | new cardinal arithmetic developments | changeset | files |