Fri, 04 Feb 2000 11:36:11 +0100 | paulson | new theorem gcd_add_mult | changeset | files |
Wed, 02 Feb 2000 20:19:25 +0100 | wenzelm | most_general_varify_tfrees all results; | changeset | files |
Wed, 02 Feb 2000 13:26:38 +0100 | nipkow | Rduced Class C <= Class D to C <= D. | changeset | files |