Fri, 11 Jan 2002 00:30:28 +0100 | wenzelm | localized 'lemmas', 'theorems', 'declare'; | changeset | files |
Fri, 11 Jan 2002 00:29:54 +0100 | wenzelm | have_thmss vs. have_thmss_i; | changeset | files |
Fri, 11 Jan 2002 00:29:25 +0100 | wenzelm | kind: ignore ""; | changeset | files |