Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. support replicate_mset in multiset simproc
  2. tuning multiset simproc
Changeset 63908:ca41b6670904 by fleury _mathias.fleury@mpi-inf.mpg.de_:
support replicate_mset in multiset simproc
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/multiset_simprocs_util.ML (diff)
Changeset 63907:36bac3d245d9 by fleury _mathias.fleury@mpi-inf.mpg.de_:
tuning multiset simproc
The file was modified src/HOL/Library/multiset_simprocs_util.ML (diff)