| Wed, 23 Jul 1997 11:04:19 +0200 | wenzelm | improved simp tracing; | changeset | files |
| Wed, 23 Jul 1997 11:03:54 +0200 | wenzelm | added simplification meta rules; | changeset | files |
| Wed, 23 Jul 1997 10:34:18 +0200 | wenzelm | tmp fix to accomodate rep_ss changes; | changeset | files |
| Wed, 23 Jul 1997 10:22:48 +0200 | wenzelm | added rewrite_thm; | changeset | files |
| Wed, 23 Jul 1997 10:22:30 +0200 | wenzelm | tuned apsome; | changeset | files |
| Tue, 22 Jul 1997 19:33:52 +0200 | wenzelm | added error_msg; | changeset | files |
| Tue, 22 Jul 1997 19:33:30 +0200 | wenzelm | tuned error / warning; | changeset | files |