| Wed, 14 Aug 2019 19:50:23 +0200 | wenzelm | clarified name context for abstractions -- in contrast to 367e60d9aa1b and Term.variant_frees (*as they are printed :-*); | changeset | files |
| Wed, 14 Aug 2019 19:40:30 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Tue, 13 Aug 2019 21:18:26 +0200 | wenzelm | minor performance tuning; | changeset | files |
| Tue, 13 Aug 2019 20:54:08 +0200 | wenzelm | NEWS and example for Theory.join_theory; | changeset | files |
| Tue, 13 Aug 2019 20:19:15 +0200 | wenzelm | tuned whitespace; | changeset | files |