Wed, 20 Dec 2000 12:14:50 +0100 | paulson | generalized the re-orientation 0f 0=... to all types | changeset | files |
Wed, 20 Dec 2000 12:14:26 +0100 | paulson | tidying, removing obsolete lemmas about 0=... and 1=... | changeset | files |
Wed, 20 Dec 2000 12:13:59 +0100 | paulson | tidying, removing obsolete lemmas about 0=... | changeset | files |