Skip to content
Success

Changes

Summary

  1. merged
  2. tuned names
  3. tuned back: cost Empty := 1 unformaly and make cost Del and exec Del agree in their structure
Changeset 8337:4ab4eed83cb3 by nipkow:
merged
Changeset 8336:d96d22cbd3ce by nipkow:
tuned names
The file was modified thys/Splay_Tree/Splay_Tree.thy (diff)
Changeset 8335:82761df16d99 by nipkow:
tuned back: cost Empty := 1 unformaly and make cost Del and exec Del agree in their structure
The file was modified thys/Amortized_Complexity/Amortized_Examples.thy (diff)