| Mon, 08 Jun 2015 20:53:42 +0200 | wenzelm | clarified Proof_Context.cert_propp/read_propp; | changeset | files |
| Mon, 08 Jun 2015 19:38:08 +0200 | wenzelm | more careful treatment of term bindings in 'obtain' proof body; | changeset | files |
| Mon, 08 Jun 2015 14:45:31 +0200 | wenzelm | tuned signature; | changeset | files |