| Wed, 24 Jul 2019 13:18:15 +0200 | wenzelm | clarified syntax; | changeset | files |
| Wed, 24 Jul 2019 11:57:30 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 24 Jul 2019 11:54:08 +0200 | wenzelm | more thorough clean_proof; | changeset | files |
| Wed, 24 Jul 2019 11:32:18 +0200 | wenzelm | clarified modules; | changeset | files |
| Wed, 24 Jul 2019 10:49:01 +0200 | wenzelm | avoid global syntax for MinProof (amending e31271559de8); | changeset | files |
| Tue, 23 Jul 2019 23:10:22 +0200 | wenzelm | treat MinProof like Promise before 725438ceae7c, e.g. relevant for performance of session Corec (due to Thm.derivation_closed/close_derivation); | changeset | files |
| Tue, 23 Jul 2019 19:07:28 +0200 | wenzelm | discontinued Proofterm.Promise (cf. 725438ceae7c); | changeset | files |