| Wed, 23 Jul 1997 11:11:14 +0200 | wenzelm | fixed polymorphic val; | changeset | files |
| Wed, 23 Jul 1997 11:07:36 +0200 | wenzelm | tuned congs: standard; | changeset | files |
| 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 |