Summary
- Avoid \mu and \nu as constant syntax, use LFP and GFP instead.
- Revert 5a42eddc11c1.
The file was modified | src/HOL/Algebra/Complete_Lattice.thy (diff) |
The file was modified | src/HOL/Algebra/Lattice.thy (diff) |
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) |