Summary
- sharing simp rules between ordered monoids and rings
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Groups.thy (diff) |
The file was modified | src/HOL/Nonstandard_Analysis/StarDef.thy (diff) |
The file was modified | src/HOL/Rings.thy (diff) |