| Sun, 14 Oct 2007 16:13:46 +0200 | wenzelm | require_thy: read_text *after* checking parents | changeset | files |
| Sun, 14 Oct 2007 16:13:45 +0200 | wenzelm | gen_add_inductive_i: treat abbrevs as local defs, expand by export; | changeset | files |
| Sun, 14 Oct 2007 00:18:11 +0200 | wenzelm | tuned various Class interfaces; | changeset | files |
| Sun, 14 Oct 2007 00:18:09 +0200 | wenzelm | removed obsolete Class.class_of_locale/locale_of_class; | changeset | files |
| Sun, 14 Oct 2007 00:18:07 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 14 Oct 2007 00:18:06 +0200 | wenzelm | added add_def; | changeset | files |
| Sun, 14 Oct 2007 00:18:05 +0200 | wenzelm | added is_class; | changeset | files |