Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. adapted to new simp lemmas
  3. added simp rules
Changeset 66111:20304512a33b by nipkow:
merged
Changeset 66110:d59f9f696110 by nipkow:
adapted to new simp lemmas
The file was modified src/HOL/Bali/Eval.thy (diff)
The file was modified src/HOL/ex/Bubblesort.thy (diff)
Changeset 66109:e034a563ed7d by nipkow:
added simp rules
The file was modified src/HOL/HOL.thy (diff)