| Wed, 31 Oct 2001 20:00:35 +0100 | berghofe | Additional rules for simplifying inside "Goal" | changeset | files |
| Wed, 31 Oct 2001 19:59:21 +0100 | berghofe | - Tuned add_cnstrt | changeset | files |
| Wed, 31 Oct 2001 19:49:36 +0100 | berghofe | Removed name_thm from finish_global. | changeset | files |