Thu, 12 Mar 1998 10:40:08 +0100 | paulson | New, stronger rewrites | changeset | files |
Thu, 12 Mar 1998 10:39:19 +0100 | paulson | The theorem nat_neqE, and some tidying | changeset | files |
Thu, 12 Mar 1998 10:37:58 +0100 | paulson | New laws, mostly generalizing old "pred" ones | changeset | files |