Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. merged
  2. corrections to markup
  3. updated material concerning Algebra
  4. merged
  5. de-applying
Changeset 68666:4bee4828cfc3 by paulson:
merged
Changeset 68665:94b08469980e by paulson _lp15@cam.ac.uk_:
corrections to markup
The file was modified src/HOL/Algebra/Ring_Divisibility.thy
Changeset 68664:bd0df72c16d5 by paulson _lp15@cam.ac.uk_:
updated material concerning Algebra
The file was modified src/HOL/Algebra/Divisibility.thy
The file was modified src/HOL/Algebra/Generated_Rings.thy
The file was modified src/HOL/Algebra/Polynomials.thy
The file was modified src/HOL/Algebra/RingHom.thy
The file was modified src/HOL/Algebra/Ring_Divisibility.thy
The file was modified src/HOL/Algebra/Subrings.thy
Changeset 68663:00a872706648 by paulson:
merged
Changeset 68662:227f85b1b98c by paulson _lp15@cam.ac.uk_:
de-applying
The file was modified src/HOL/Algebra/Group.thy
The file was modified src/HOL/Real.thy