Mon, 01 Mar 1999 15:57:29 +0100 | paulson | simpler proofs of congruence rules | changeset | files |
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 |