Fri, 08 Nov 2019 20:59:34 +0100 | wenzelm | tuned comments; | changeset | files |
Fri, 08 Nov 2019 20:28:50 +0100 | wenzelm | merged | changeset | files |
Fri, 08 Nov 2019 20:12:57 +0100 | wenzelm | retain type information from reconstruct_proof, notably for Export_Theory.export_thm; | changeset | files |