Wed, 08 Mar 2000 16:15:41 +0100 | paulson | function "remove" and new lemmas for Factorization | changeset | files |
Wed, 08 Mar 2000 16:14:12 +0100 | paulson | new theory ex/Factorization | changeset | files |
Wed, 08 Mar 2000 16:13:19 +0100 | paulson | new lemmas | changeset | files |