Mon, 20 Mar 2000 10:32:02 +0100 | paulson | renamed a variable to avoid possible free/bound confusion | changeset | files |
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 |