Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned op
  2. tuned op
  3. tuned op
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)