Summary
- unused
- removed mset_Union - is already in Multiset
- automated some proofs
The file was modified | thys/Binomial-Heaps/SkewBinomialHeap.thy (diff) |
The file was modified | thys/Binomial-Heaps/SkewBinomialHeap.thy (diff) |
The file was modified | thys/Binomial-Heaps/BinomialHeap.thy (diff) |
The file was modified | thys/Binomial-Heaps/SkewBinomialHeap.thy (diff) |