| Wed, 23 Jul 1997 11:49:20 +0200 | paulson | auto update | changeset | files |
| Wed, 23 Jul 1997 11:48:59 +0200 | paulson | Removal of tactical STATE | changeset | files |
| 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 |
| 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 |
| Tue, 22 Jul 1997 18:46:44 +0200 | wenzelm | added print_ss; | changeset | files |