Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. credits to Paulo and Martin
  2. More on Algebra by Paulo and Martin
Changeset 68552:391e89e03eef by paulson _lp15@cam.ac.uk_:
credits to Paulo and Martin
The file was modified src/HOL/Algebra/Module.thy (diff)
The file was modified src/HOL/Algebra/Ring.thy (diff)
Changeset 68551:b680e74eb6f2 by paulson _lp15@cam.ac.uk_:
More on Algebra by Paulo and Martin
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/Module.thy (diff)
The file was modified src/HOL/Algebra/Multiplicative_Group.thy (diff)
The file was modified src/HOL/Algebra/QuotRing.thy (diff)
The file was modified src/HOL/Algebra/Ring.thy (diff)
The file was modified src/HOL/Algebra/RingHom.thy (diff)