Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. clarified
  3. dropped superfluous theory imports
Changeset 66260:d6053815df06 by haftmann:
tuned
The file was modified src/Pure/Isar/code.ML (diff)
Changeset 66259:b5279a21e658 by haftmann:
clarified
The file was modified src/Pure/Isar/local_theory.ML (diff)
The file was modified src/Pure/Isar/named_target.ML (diff)
Changeset 66258:2b83dd24b301 by haftmann:
dropped superfluous theory imports
The file was modified src/HOL/Library/State_Monad.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Euclid.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Higman.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Higman_Extraction.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Pigeonhole.thy (diff)
The file was modified src/HOL/Proofs/Extraction/QuotRem.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Util.thy (diff)