Tue, 04 Jun 2019 13:44:59 +0200 | wenzelm | unused; | changeset | files |
Tue, 04 Jun 2019 13:14:17 +0200 | wenzelm | misc tuning and clarification, notably wrt. flow of context; | changeset | files |
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 |
Mon, 03 Jun 2019 23:29:05 +0200 | wenzelm | tuned; | changeset | files |
Mon, 03 Jun 2019 21:47:54 +0200 | wenzelm | more structural integrity; | changeset | files |