| Mon, 20 Jul 2020 23:45:29 +0200 | wenzelm | subtle change of Theory_Data extend/merge semantics due to Theory.join_theory; | changeset | files |
| Fri, 17 Jul 2020 20:35:43 +0200 | wenzelm | clarified -- avoid non-standard extend/merge; | changeset | files |
| Fri, 17 Jul 2020 20:22:58 +0200 | wenzelm | tuned -- avoid non-standard extend; | changeset | files |
| Fri, 17 Jul 2020 19:10:24 +0200 | wenzelm | clarified -- avoid non-standard extend/merge; | changeset | files |