| Wed, 14 Aug 2019 19:21:34 +0200 | wenzelm | uniform standard_vars for terms and proof terms; | changeset | files |
| Wed, 14 Aug 2019 11:14:27 +0200 | wenzelm | treat simproc results as atomic -- more compact proof terms; | changeset | files |
| Tue, 13 Aug 2019 21:52:08 +0200 | wenzelm | tuned; | changeset | files |