| Fri, 11 Jan 2002 00:34:43 +0100 | wenzelm | moved setmksimps to Main! | changeset | files |
| Fri, 11 Jan 2002 00:33:35 +0100 | wenzelm | have_thmss vs. have_thmss_i; | changeset | files |
| Fri, 11 Jan 2002 00:32:17 +0100 | wenzelm | clarified/added theorems(_i) vs. locale_theorems(_i); | changeset | files |
| 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 |
| Fri, 11 Jan 2002 00:28:43 +0100 | wenzelm | IsarThy.theorems_i; | changeset | files |