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 |