Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemma
  2. incorporated various material from the AFP into the distribution
  3. backed out experimental b67bab2b132c, which slipped in accidentally
  4. merged
  5. added lemmas
Changeset 70184:a7aba6db79a1 by nipkow:
added lemma
The file was modified src/HOL/Lattices_Big.thy (diff)
Changeset 70183:3ea80c950023 by haftmann:
incorporated various material from the AFP into the distribution
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Word/Bits_Bit.thy (diff)
The file was modified src/HOL/Word/Bits_Int.thy (diff)
The file was modified src/HOL/Word/Word.thy (diff)
Changeset 70182:ca9dfa7ee3bd by haftmann:
backed out experimental b67bab2b132c, which slipped in accidentally
The file was modified src/HOL/Eisbach/method_closure.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/Tools/named_theorems.ML (diff)
The file was modified src/Tools/atomize_elim.ML (diff)
Changeset 70181:93516cb6cd30 by nipkow:
merged
Changeset 70180:5beca7396282 by nipkow:
added lemmas
The file was modified src/HOL/Order_Relation.thy (diff)