Changes

Summary

Changeset 9395:d36086165002 by paulson _lp15@cam.ac.uk_: replacing subgroup_imp_subset by subgroup.subset
The file was modified	`thys/Jordan_Hoelder/CompositionSeries.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/MaximalNormalSubgroups.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/SndIsomorphismGrp.thy` (diff)
The file was modified	`thys/Jordan_Hoelder/SubgroupsAndNormalSubgroups.thy` (diff)
The file was modified	`thys/Secondary_Sylow/GroupAction.thy` (diff)
The file was modified	`thys/Secondary_Sylow/SndSylow.thy` (diff)
The file was modified	`thys/Secondary_Sylow/SubgroupConjugation.thy` (diff)