Changes

Summary

Changeset 66641:ff2e0115fea4 by paulson _lp15@cam.ac.uk_: Simplicial complexes and triangulations; Baire Category Theorem
The file was modified	`NEWS` (diff)
The file was modified	`src/HOL/Analysis/Convex_Euclidean_Space.thy` (diff)
The file was modified	`src/HOL/Analysis/Linear_Algebra.thy` (diff)
The file was modified	`src/HOL/Analysis/Polytope.thy` (diff)
The file was modified	`src/HOL/Analysis/Starlike.thy` (diff)
The file was modified	`src/HOL/Analysis/Topology_Euclidean_Space.thy` (diff)