Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. replaced floorlog by floor/ceiling(log .)
  3. more multiset simp rules
  4. tuned proof -- much faster
Changeset 64019:b8f8fe506585 by nipkow:
merged
Changeset 64018:c6eb691770d8 by nipkow:
replaced floorlog by floor/ceiling(log .)
The file was modified src/HOL/Data_Structures/Balance.thy (diff)
Changeset 64017:6e7bf7678518 by fleury _mathias.fleury@mpi-inf.mpg.de_:
more multiset simp rules
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 64016:5c2c559f01eb by fleury _mathias.fleury@mpi-inf.mpg.de_:
tuned proof -- much faster
The file was modified src/HOL/Cardinals/Ordinal_Arithmetic.thy (diff)