Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. subtle change of Theory_Data extend/merge semantics due to Theory.join_theory; explicitly check for extend as identity;
Changeset 72060:efb7fd4a6d1f by wenzelm:
subtle change of Theory_Data extend/merge semantics due to Theory.join_theory;<br>explicitly check for extend as identity;
The file was modified NEWS (diff)
The file was modified src/Doc/Implementation/Prelim.thy (diff)
The file was modified src/Pure/context.ML (diff)