Summary
- merged
- tuned
- reorganized and added log-related lemmas
The file was modified | src/HOL/Data_Structures/Balance.thy (diff) |
The file was modified | src/HOL/Analysis/Polytope.thy (diff) |
The file was modified | src/HOL/Archimedean_Field.thy (diff) |
The file was modified | src/HOL/Data_Structures/Balance.thy (diff) |
The file was modified | src/HOL/Decision_Procs/MIR.thy (diff) |
The file was modified | src/HOL/Library/Tree_Real.thy (diff) |
The file was modified | src/HOL/Real.thy (diff) |
The file was modified | src/HOL/Transcendental.thy (diff) |