| Wed, 05 Jul 2000 16:37:52 +0200 | paulson | massive tidy-up: goal -> Goal, remove use of prems, etc. | changeset | files |
| Wed, 05 Jul 2000 14:26:58 +0200 | oheimb | disambiguated := ; added Examples (factorial) | changeset | files |
| Wed, 05 Jul 2000 10:28:29 +0200 | oheimb | corrected symbol for casting relation | changeset | files |
| Tue, 04 Jul 2000 15:58:11 +0200 | paulson | removed most batch-style proofs | changeset | files |
| Tue, 04 Jul 2000 14:58:40 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 04 Jul 2000 14:04:56 +0200 | oheimb | disambiguated := ; added Examples (factorial) | changeset | files |
| Tue, 04 Jul 2000 12:04:16 +0200 | nipkow | added a thm. | changeset | files |