Mon, 01 Mar 1999 18:38:43 +0100 | paulson | removed the infernal States, eqStates, compatible, etc. | changeset | files |
Mon, 01 Mar 1999 18:37:52 +0100 | paulson | tidied | changeset | files |
Mon, 01 Mar 1999 18:37:23 +0100 | paulson | simpler proofs of congruence rules | changeset | files |
Mon, 01 Mar 1999 18:11:54 +0100 | paulson | new results e.g. about Pow; new simprules Union_image_eq, Inter_image_eq | changeset | files |
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 |