Summary
- unused alias
- generalized and augmented
The file was modified | src/HOL/Nat.thy (diff) |
The file was modified | src/HOL/Lattices.thy (diff) |
The file was modified | src/HOL/Nat.thy (diff) |
The file was modified | src/HOL/Orderings.thy (diff) |
The file was modified | src/HOL/Nat.thy (diff) |
The file was modified | src/HOL/Lattices.thy (diff) |
The file was modified | src/HOL/Nat.thy (diff) |
The file was modified | src/HOL/Orderings.thy (diff) |