Wed, 10 Jan 2001 11:15:24 +0100 | paulson | deleted the obsolete nat_neqE | changeset | files |
Wed, 10 Jan 2001 11:14:30 +0100 | paulson | generalizing the LEAST theorems from "nat" to linear | changeset | files |
Wed, 10 Jan 2001 11:13:11 +0100 | paulson | now using "by" for one-line proofs | changeset | files |