Summary
- fixes involving Algebra, also of a parsing ambiguity
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/VectorSpace/RingModuleFacts.thy (diff) |