Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. msetsum -> set_mset, msetprod -> prod_mset
  2. More on balancing; renamed theory to Balance
  3. added lemmas
Changeset 63830:2ea3725a34bd by nipkow:
msetsum -> set_mset, msetprod -> prod_mset
The file was modified NEWS (diff)
The file was modified src/HOL/Library/DAList_Multiset.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Number_Theory/Factorial_Ring.thy (diff)
The file was modified src/HOL/Number_Theory/Pocklington.thy (diff)
The file was modified src/HOL/Number_Theory/Primes.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Euclid.thy (diff)
Changeset 63829:6a05c8cbf7de by nipkow:
More on balancing; renamed theory to Balance
The file was addedsrc/HOL/Data_Structures/Balance.thy
The file was modified src/HOL/Library/Tree.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Data_Structures/Balance_List.thy
Changeset 63828:ca467e73f912 by nipkow:
added lemmas
The file was modified src/HOL/Map.thy (diff)