Wed, 02 Feb 2000 12:25:54 +0100 | paulson | expandshort | changeset | files |
Wed, 02 Feb 2000 12:25:29 +0100 | paulson | new lemma fun_cons_restrict_eq | changeset | files |
Wed, 02 Feb 2000 11:42:17 +0100 | paulson | new theorems by Sidi O. Ehmety | changeset | files |