Summary
- more theorems on orderings
- dropped junk
The file was modified | src/HOL/Groups.thy (diff) |
The file was modified | src/HOL/Nat.thy (diff) |
The file was modified | src/HOL/Random.thy (diff) |
The file was modified | src/HOL/Rings.thy (diff) |
The file was modified | src/HOL/UNITY/Comp/AllocBase.thy (diff) |
The file was modified | src/Tools/Code/code_runtime.ML (diff) |