Summary
- swapping of theory dependency yields less pervasive syntax requiring popular symbols \<mu>, \<nu>
- more correct output syntax declaration
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) |
The file was modified | src/HOL/Algebra/Multiplicative_Group.thy (diff) |