Summary
- merged
- more complete simpset for linear arithmetic to avoid warnings: terms such as (2x + 2y)/2 can then be simplified by the linear arithmetic prover during its proof replay
The file was modified | src/HOL/Rat.thy (diff) |
The file was modified | src/HOL/Rat.thy (diff) |