Summary
- Many fixes for updated HOL-Algebra
The file was modified | thys/Free-Groups/Generators.thy (diff) |
The file was modified | thys/Free-Groups/Isomorphisms.thy (diff) |
The file was modified | thys/Free-Groups/UnitGroup.thy (diff) |
The file was modified | thys/Jordan_Normal_Form/Jordan_Normal_Form_Existence.thy (diff) |
The file was modified | thys/Jordan_Normal_Form/Missing_VectorSpace.thy (diff) |
The file was modified | thys/Jordan_Normal_Form/VS_Connect.thy (diff) |
The file was modified | thys/Matrix/Matrix_Legacy.thy (diff) |
The file was modified | thys/Orbit_Stabiliser/Left_Coset.thy (diff) |
The file was modified | thys/Secondary_Sylow/SubgroupConjugation.thy (diff) |
The file was modified | thys/VectorSpace/LinearCombinations.thy (diff) |
The file was modified | thys/VectorSpace/RingModuleFacts.thy (diff) |