Skip to content
Failed

Changes

Summary

  1. unused
  2. removed mset_Union - is already in Multiset
  3. automated some proofs
Changeset 6349:d2972cf87daa by nipkow:
unused
The file was modified thys/Binomial-Heaps/SkewBinomialHeap.thy (diff)
Changeset 6348:764a69df54ce by nipkow:
removed mset_Union - is already in Multiset
The file was modified thys/Binomial-Heaps/SkewBinomialHeap.thy (diff)
Changeset 6347:8211c7c87cb3 by nipkow:
automated some proofs
The file was modified thys/Binomial-Heaps/BinomialHeap.thy (diff)
The file was modified thys/Binomial-Heaps/SkewBinomialHeap.thy (diff)