| Sat, 12 Oct 2019 13:43:17 +0200 | wenzelm | more compact XML: separate environment for free variables; | changeset | files |
| Sat, 12 Oct 2019 12:25:16 +0200 | wenzelm | more compact XML; | changeset | files |
| 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 |
| 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 |