Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added lemmas total_on_trancl and totalp_on_tranclp
  2. Move code lemmas for symbolic computation of bit operations on int to distribution.
  3. fixed diverging simproc cont_intro
Changeset 75652:c4a1088d0081 by desharna:
added lemmas total_on_trancl and totalp_on_tranclp
The file was modified NEWS (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)
Changeset 75651:f4116b7a6679 by haftmann:
Move code lemmas for symbolic computation of bit operations on int to distribution.
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Library/Code_Abstract_Nat.thy (diff)
The file was modified src/HOL/Library/Code_Target_Int.thy (diff)
Changeset 75650:6d4fb57eb66c by desharna:
fixed diverging simproc cont_intro
The file was modified src/HOL/Library/Complete_Partial_Order2.thy (diff)