| Wed, 18 Jun 2008 18:55:05 +0200 | wenzelm | removed obsolete term reading operations (cf. old_goals.ML for legacy emulations); | changeset | files |
| Wed, 18 Jun 2008 18:55:04 +0200 | wenzelm | added emulations for simple_read_term/read_term/read_prop (formerly in sign.ML); | changeset | files |
| Wed, 18 Jun 2008 18:55:03 +0200 | wenzelm | removed obsolete read_def_cterms/read_cterm; | changeset | files |
| Wed, 18 Jun 2008 18:55:02 +0200 | wenzelm | load proof term operations later; | changeset | files |