Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. del_min -> split_min
Changeset 9129:efd58f8b1659 by nipkow:
del_min -> split_min
The file was modified thys/Root_Balanced_Tree/Root_Balanced_Tree.thy (diff)
The file was modified thys/Weight_Balanced_Trees/Weight_Balanced_Trees.thy (diff)