subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;
explicitly check for extend as identity;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE69880fdc8310: clarified -- avoid non-standard extend/merge;
- Branches
- Unknown
- Tags