Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Restored antiquotation.
  2. tuned whitespace
  3. merged
  4. added lemma multpHO_plus_plus[simp]
  5. Shortened a messy proof
Changeset 77107:4c4d40913900 by haftmann:
Restored antiquotation.
The file was modified src/HOL/Library/Monad_Syntax.thy (diff)
Changeset 77106:5ef443fa4a5d by haftmann:
tuned whitespace
The file was modified src/HOL/Imperative_HOL/Array.thy (diff)
The file was modified src/HOL/Imperative_HOL/Heap.thy (diff)
Changeset 77105:bbe33afcfe1e by desharna:
merged
Changeset 77104:9678b533119e by desharna:
added lemma multpHO_plus_plus[simp]
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
Changeset 77103:11d844d21f5c by paulson _lp15@cam.ac.uk_:
Shortened a messy proof
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)