Changes

Summary

tuned headers;
move FuncSet back to HOL-Library (amending 493b818e8e10)
merged
cleaning up sorted

Changeset 68189:6163c90694ef by wenzelm: tuned headers;
The file was modified	`src/HOL/Analysis/Cartesian_Space.thy` (diff)
The file was modified	`src/HOL/Computational_Algebra/Group_Closure.thy` (diff)
The file was modified	`src/HOL/Hull.thy` (diff)
The file was modified	`src/HOL/Library/FuncSet.thy` (diff)
The file was modified	`src/HOL/Modules.thy` (diff)
The file was modified	`src/HOL/Vector_Spaces.thy` (diff)
The file was modified	`src/Pure/Sessions.thy` (diff)
Changeset 68188:2af1f142f855 by immler: move FuncSet back to HOL-Library (amending 493b818e8e10)
The file was added	`src/HOL/Library/FuncSet.thy`
The file was modified	`src/HOL/Algebra/Congruence.thy` (diff)
The file was modified	`src/HOL/Algebra/Group.thy` (diff)
The file was modified	`src/HOL/Analysis/Finite_Cartesian_Product.thy` (diff)
The file was modified	`src/HOL/Analysis/Sigma_Algebra.thy` (diff)
The file was modified	`src/HOL/Analysis/Topology_Euclidean_Space.thy` (diff)
The file was modified	`src/HOL/Library/Library.thy` (diff)
The file was modified	`src/HOL/Metis_Examples/Abstraction.thy` (diff)
The file was modified	`src/HOL/Metis_Examples/Tarski.thy` (diff)
The file was modified	`src/HOL/Number_Theory/Prime_Powers.thy` (diff)
The file was modified	`src/HOL/Vector_Spaces.thy` (diff)
The file was modified	`src/HOL/ex/Ballot.thy` (diff)
The file was modified	`src/HOL/ex/Birthday_Paradox.thy` (diff)
The file was modified	`src/HOL/ex/Tarski.thy` (diff)
The file was removed	`src/HOL/FuncSet.thy`
Changeset 68187:48262e3a2bde by nipkow: merged
Changeset 68186:56fcf7e980e3 by nipkow: cleaning up sorted
The file was modified	`src/HOL/List.thy` (diff)