| Tue, 04 Jun 2019 13:09:24 +0200 | wenzelm | proper context; | changeset | files |
| Tue, 04 Jun 2019 13:08:05 +0200 | wenzelm | proper Proof_Context.export_morphism corresponding to Proof_Context.augment (see 7f568724d67e); | changeset | files |
| Mon, 03 Jun 2019 23:58:20 +0200 | wenzelm | more structural integrity; | changeset | files |