| Mon, 20 Mar 2000 10:26:34 +0100 | paulson | a possibly (?) more perspicous simprule in the "simpset" part | changeset | files |
| Mon, 20 Mar 2000 10:24:07 +0100 | paulson | now based on "Main", as it should be | changeset | files |
| Mon, 20 Mar 2000 10:23:24 +0100 | paulson | deleted unnecessary "simpset" part from recdef | changeset | files |
| Sat, 18 Mar 2000 19:20:10 +0100 | wenzelm | 'oops' made proper; | changeset | files |
| Sat, 18 Mar 2000 19:19:53 +0100 | wenzelm | intro_classes_tac: REPEAT_ALL_NEW; | changeset | files |
| Sat, 18 Mar 2000 19:18:48 +0100 | wenzelm | tuned comments; | changeset | files |
| Sat, 18 Mar 2000 19:16:56 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 18 Mar 2000 19:11:34 +0100 | wenzelm | obtain; | changeset | files |