Diffusion afp-devel a721aec5f967

added proper T_insert
a721aec5f967
Actions

Tags

None

Subscribers

None

Description

added proper T_insert

Details

Provenance

Authored on

Parents

rAFP8ed3de8a9a8b: fixed Folgefehler

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFPa721aec5f967: added proper T_insert.Nov 19 2020, 1:25 PM

Changes (3)

Path

Size

thys/

Amortized_Complexity/

Splay_Tree_Analysis.thy

Splay_Tree_Analysis_Base.thy

Splay_Tree_Analysis_Optimal.thy

rAFPa721aec5f967

thys/Amortized_Complexity/Splay_Tree_Analysis.thy

Loading...

thys/Amortized_Complexity/Splay_Tree_Analysis_Base.thy

Loading...

thys/Amortized_Complexity/Splay_Tree_Analysis_Optimal.thy

Loading...