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 |
Thu, 17 Oct 2019 20:28:31 +0200 | wenzelm | clarified files; | changeset | files |
Thu, 17 Oct 2019 17:24:13 +0200 | wenzelm | clarified proof_boxes (requires prune_proofs=false); | changeset | files |