| 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 |