Changes

Summary

Changeset 66517:7c7977f6c4ce by nipkow: merged
Changeset 66516:97c2d3846e10 by nipkow: tuned
The file was modified	`src/HOL/Data_Structures/Balance.thy` (diff)
Changeset 66515:85c505c98332 by nipkow: reorganized and added log-related lemmas
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)