Summary
- more robust multiset simproc
- delete looping simp rule
The file was modified | src/HOL/Library/multiset_simprocs_util.ML (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |
The file was modified | src/HOL/Library/multiset_simprocs_util.ML (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |