| Wed, 18 Jun 2008 18:55:06 +0200 | wenzelm | moved ProofContext.pretty_proof to ProofSyntax.pretty_proof; | changeset | files |
| 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 |