Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. cancellation simprocs generalising the multiset simprocs
  2. adding simplification patterns to multiset simprocs
  3. renaming multiset simprocs
Changeset 65029:00731700e54f by fleury _mathias.fleury@mpi-inf.mpg.de_:
cancellation simprocs generalising the multiset simprocs
The file was addedsrc/HOL/Library/Cancellation.thy
The file was addedsrc/HOL/Library/Cancellation/cancel.ML
The file was addedsrc/HOL/Library/Cancellation/cancel_data.ML
The file was addedsrc/HOL/Library/Cancellation/cancel_simprocs.ML
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/multiset_order_simprocs.ML (diff)
The file was modified src/HOL/Library/multiset_simprocs.ML (diff)
The file was removedsrc/HOL/Library/multiset_simprocs_util.ML
Changeset 65028:87e003397834 by fleury _mathias.fleury@mpi-inf.mpg.de_:
adding simplification patterns to multiset simprocs
The file was modified src/HOL/Library/Multiset_Order.thy (diff)
Changeset 65027:2b8583507891 by fleury _mathias.fleury@mpi-inf.mpg.de_:
renaming multiset simprocs
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/Multiset_Order.thy (diff)