| Tue, 17 Oct 2000 10:23:16 +0200 | paulson | restoration of "equalityI"; renaming of contrapos rules | changeset | files |
| Tue, 17 Oct 2000 10:21:12 +0200 | paulson | renaming of contrapos rules | changeset | files |
| Tue, 17 Oct 2000 10:20:43 +0200 | paulson | tidying and renaming of contrapos rules | changeset | files |
| Tue, 17 Oct 2000 08:41:42 +0200 | oheimb | cosmetics | changeset | files |
| Tue, 17 Oct 2000 08:00:46 +0200 | nipkow | added intermediate value thms | changeset | files |
| Tue, 17 Oct 2000 08:00:34 +0200 | nipkow | <= -> \<le> | changeset | files |
| Mon, 16 Oct 2000 20:33:15 +0200 | wenzelm | updated; | changeset | files |