Summary
- tuned
- merged
- more [simp]
- clarified display name;
The file was modified | src/HOL/Analysis/Abstract_Topology.thy (diff) |
The file was modified | src/HOL/Analysis/Brouwer_Fixpoint.thy (diff) |
The file was modified | src/HOL/Analysis/Complex_Analysis_Basics.thy (diff) |
The file was modified | src/HOL/Analysis/Continuous_Extension.thy (diff) |
The file was modified | src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Measure_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Starlike.thy (diff) |
The file was modified | src/HOL/Analysis/Topology_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Finite_Set.thy (diff) |
The file was modified | src/HOL/Analysis/Sigma_Algebra.thy (diff) |
The file was modified | src/HOL/Set.thy (diff) |
The file was modified | etc/settings (diff) |
The file was modified | src/Pure/Tools/doc.scala (diff) |