Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>
  2. more correct output syntax declaration
Changeset 66501:5a42eddc11c1 by haftmann:
swapping of theory dependency yields less pervasive syntax requiring popular symbols \&lt;mu&gt;, \&lt;nu&gt;
The file was modified src/HOL/Algebra/Complete_Lattice.thy (diff)
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
Changeset 66500:ba94aeb02fbc by haftmann:
more correct output syntax declaration
The file was modified src/HOL/Algebra/Multiplicative_Group.thy (diff)