| 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 |
| Wed, 18 Jun 2008 18:55:01 +0200 | wenzelm | more antiquotations; | changeset | files |
| Wed, 18 Jun 2008 18:55:00 +0200 | wenzelm | OldGoals.read_prop; | changeset | files |
| Wed, 18 Jun 2008 18:54:59 +0200 | wenzelm | OldGoals.simple_read_term; | changeset | files |