Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. reduced dependencies on List_Permutation
  2. follow corresponding precedence on sets
Changeset 73395:6a96e9406e53 by haftmann:
reduced dependencies on List_Permutation
Changeset 73394:2e6b2134956e by haftmann:
follow corresponding precedence on sets
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)