| Fri, 11 Oct 2019 22:06:49 +0200 | wenzelm | merged | changeset | files |
| Fri, 11 Oct 2019 22:01:45 +0200 | wenzelm | proper ML names; | changeset | files |
| Fri, 11 Oct 2019 21:51:10 +0200 | wenzelm | clarified standard_proof_of: prefer expand_proof over somewhat adhoc strip_thm_proof; | changeset | files |