Summary
- merged
- an assortment of new or stronger lemmas
- obsolete (reverting b3d6bb2ebf77): Isabelle/Naproche cache is now value-oriented;
The file was modified | src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Continuum_Not_Denumerable.thy (diff) |
The file was modified | src/HOL/Analysis/Derivative.thy (diff) |
The file was modified | src/HOL/Analysis/Lebesgue_Measure.thy (diff) |
The file was modified | src/HOL/Groups_Big.thy (diff) |
The file was modified | src/HOL/Library/FuncSet.thy (diff) |
The file was modified | src/Pure/Isar/toplevel.ML (diff) |