Changes

Summary

Changeset 7210:93643f9bcd8b by nipkow: more setsum -> sum
The file was modified	`thys/Affine_Arithmetic/Counterclockwise.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Counterclockwise_2D_Arbitrary.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Intersection.thy` (diff)
The file was modified	`thys/Kleene_Algebra/Formal_Power_Series.thy` (diff)
The file was modified	`thys/Sqrt_Babylonian/NthRoot_Impl.thy` (diff)
The file was modified	`thys/Vickrey_Clarke_Groves/MiscTools.thy` (diff)
The file was modified	`thys/Vickrey_Clarke_Groves/UniformTieBreaking.thy` (diff)
The file was modified	`thys/Vickrey_Clarke_Groves/Universes.thy` (diff)