Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. consolidated names
  2. reduced dependencies on theory List_Permutation
Changeset 73393:716d256259d5 by haftmann:
consolidated names
The file was modified NEWS (diff)
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
The file was modified src/HOL/Library/DAList_Multiset.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 73392:24f0df084aad by haftmann:
reduced dependencies on theory List_Permutation
The file was modified src/HOL/Probability/ex/Koepf_Duermuth_Countermeasure.thy (diff)