| Sat, 13 Oct 2001 21:43:00 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 13 Oct 2001 20:32:38 +0200 | wenzelm | generic theorem kinds; | changeset | files |
| Sat, 13 Oct 2001 20:32:07 +0200 | wenzelm | generic theorem kinds ("theorem", "lemma" etc.); | changeset | files |