| Wed, 18 Jun 2008 18:55:10 +0200 | wenzelm | eliminated old Sign.read_term/Thm.read_cterm etc.; | changeset | files |
| Wed, 18 Jun 2008 18:55:08 +0200 | wenzelm | moved ProofContext.pretty_proof to ProofSyntax.pretty_proof; | changeset | files |
| Wed, 18 Jun 2008 18:55:07 +0200 | wenzelm | export transfer_syntax; | changeset | files |