Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. corrected op
  2. tuned op
  3. tuned op
  4. tuned op
  5. tuned op
  6. tuned op's
  7. tuned op
  8. tuned op
Changeset 67350:f061129d891b by nipkow:
corrected op
The file was modified src/Doc/Tutorial/Misc/simp.thy (diff)
Changeset 67349:0441f2f1b574 by nipkow:
tuned op
The file was modified src/Doc/Locales/Examples2.thy (diff)
Changeset 67348:4c4db8687e50 by nipkow:
tuned op
The file was modified src/Doc/Isar_Ref/HOL_Specific.thy (diff)
Changeset 67347:bf269672c203 by nipkow:
tuned op
The file was modified src/FOL/ex/Locale_Test/Locale_Test1.thy (diff)
Changeset 67346:1f1d85393d70 by nipkow:
tuned op
The file was modified src/HOL/Nitpick_Examples/Manual_Nits.thy (diff)
Changeset 67345:debef21cbed6 by nipkow:
tuned op's
The file was modified src/HOL/Number_Theory/Pocklington.thy (diff)
Changeset 67344:9a0bb8e2be07 by nipkow:
tuned op
The file was modified src/HOL/Algebra/IntRing.thy (diff)
Changeset 67343:f0f13aa282f4 by nipkow:
tuned op
The file was modified src/HOL/Algebra/Divisibility.thy (diff)