Wed, 24 Nov 1999 13:35:31 +0100 | wenzelm | prove_goal thy; | changeset | files |
Wed, 24 Nov 1999 12:12:36 +0100 | nipkow | Basis now Main. | changeset | files |
Wed, 24 Nov 1999 10:25:28 +0100 | paulson | tidied, choosing nicer names | changeset | files |
Tue, 23 Nov 1999 11:19:39 +0100 | paulson | distributive laws for * over - | changeset | files |
Tue, 23 Nov 1999 11:18:42 +0100 | paulson | tidied | changeset | files |
Tue, 23 Nov 1999 11:18:19 +0100 | paulson | new theorem rev_image_eqI | changeset | files |
Mon, 22 Nov 1999 12:10:27 +0100 | nipkow | Added linord_less_split | changeset | files |