| 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 |
| Sat, 13 Oct 2001 20:31:34 +0200 | wenzelm | IsarThy.theorem_i Drule.internalK; | changeset | files |
| Sat, 13 Oct 2001 20:31:05 +0200 | wenzelm | Drule.tag_internal; | changeset | files |
| Sat, 13 Oct 2001 20:30:38 +0200 | wenzelm | * Pure: added 'corollary' command; | changeset | files |
| Fri, 12 Oct 2001 18:29:51 +0200 | berghofe | Tuned comment. | changeset | files |