| Fri, 11 Oct 2019 21:51:10 +0200 | wenzelm | clarified standard_proof_of: prefer expand_proof over somewhat adhoc strip_thm_proof; | changeset | files |
| Fri, 11 Oct 2019 21:44:39 +0200 | wenzelm | some treatment of OfClass proofs; | changeset | files |
| Fri, 11 Oct 2019 21:34:37 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 11 Oct 2019 21:23:06 +0200 | wenzelm | misc tuning and clarification; | changeset | files |