Changes

Summary

Changeset 6954:b7b8bde8e10f by mathias fleury _mathias.fleury@mpi-inf.mpg.de_: adapting to Isabelle/4ec755485732
The file was modified	`thys/Algebraic_Numbers/Algebraic_Numbers.thy` (diff)
The file was modified	`thys/Decreasing-Diagrams-II/Decreasing_Diagrams_II.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/JordanHolder.thy` (diff)
The file was modified	`thys/Landau_Symbols/Landau_Real_Products.thy` (diff)
The file was modified	`thys/Pairing_Heap/Pairing_Heap_List1.thy` (diff)
The file was modified	`thys/Pairing_Heap/Pairing_Heap_List2.thy` (diff)
The file was modified	`thys/Randomised_Social_Choice/Preference_Profiles.thy` (diff)
The file was modified	`thys/Randomised_Social_Choice/Social_Decision_Schemes.thy` (diff)