Mon, 22 Feb 1999 10:21:59 +0100 | paulson | new image laws | changeset | files |
Mon, 22 Feb 1999 10:20:25 +0100 | paulson | added a commment on the "ext" rule | changeset | files |
Mon, 22 Feb 1999 10:19:32 +0100 | paulson | new theorems Pow_0 and Pow_insert; renamed other Pow theorems | changeset | files |
Mon, 22 Feb 1999 10:16:59 +0100 | paulson | added rev_bexI | changeset | files |
Thu, 18 Feb 1999 12:15:55 +0100 | wenzelm | fixed order of multiple -m options; | changeset | files |
Thu, 18 Feb 1999 12:05:16 +0100 | grobauer | fixed geometry; | changeset | files |