Changes

Summary

Changeset 9392:47f0debc76e4 by paulson _lp15@cam.ac.uk_: Fixed issues involving iso/cong and partition
The file was modified	`thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Finite_Field_Factorization.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Finite_Field_Factorization_Record_Based.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/CompositionSeries.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/GroupIsoClasses.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/JordanHolder.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/SimpleGroups.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/SndIsomorphismGrp.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/SubgroupsAndNormalSubgroups.thy` (diff)