| Wed, 25 Oct 2000 17:43:34 +0200 | paulson | Even numbers section of Inductive chapter | changeset | files |
| Wed, 25 Oct 2000 12:27:20 +0200 | wenzelm | tuned msg; | changeset | files |
| Wed, 25 Oct 2000 12:26:55 +0200 | wenzelm | antiquotation "goals": error message; | changeset | files |