| 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 |