| Thu, 17 Oct 2019 21:31:53 +0200 | wenzelm | support dummy term; | changeset | files |
| Thu, 17 Oct 2019 21:03:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 17 Oct 2019 20:56:18 +0200 | wenzelm | proof boxes based on proof digest (not proof term): thus it works with prune_proofs; | changeset | files |
| Thu, 17 Oct 2019 20:56:09 +0200 | wenzelm | proper Thm.transfer; | changeset | files |