Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Fix for sum.delta’ simprule
  2. Patch because sum.delta is now a simprule
Changeset 8048:a080dc6ca58b by paulson _lp15@cam.ac.uk_:
Fix for sum.delta’ simprule
The file was modified thys/Differential_Dynamic_Logic/Lib.thy (diff)
Changeset 8047:c30169a79844 by paulson _lp15@cam.ac.uk_:
Patch because sum.delta is now a simprule
The file was modified thys/Sturm_Sequences/Lib/Misc_Polynomial.thy (diff)