2002-09-30 | nipkow | modified induct method | changeset | files |
2002-09-27 | paulson | Proof tidying | changeset | files |
2002-09-27 | paulson | Isar experiments, etc. | changeset | files |
2002-09-27 | paulson | Tidied. New Pi-theorem. | changeset | files |
Loading... |