Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra
Changeset 7650:901f6bfc8084 by haftmann:
backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra
The file was modified thys/Jordan_Hoelder/CompositionSeries.thy (diff)
The file was modified thys/Jordan_Hoelder/JordanHolder.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/SndSylow.thy (diff)
The file was modified thys/Secondary_Sylow/SubgroupConjugation.thy (diff)