Diffusion afp-devel 644d88d7ecd2

tuned names t to T
644d88d7ecd2
Actions

Tags

None

Subscribers

None

Description

tuned names t to T

Details

Provenance

Authored on

Parents

rAFPab6c2cb2ac93: Relational_Disjoint_Set_Forests: stronger invariant

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP644d88d7ecd2: tuned names t to T.Nov 8 2020, 9:57 AM

Changes (4)

Path

Size

thys/

Amortized_Complexity/

Pairing_Heap_List1_Analysis.thy

Pairing_Heap_List1_Analysis2.thy

Pairing_Heap_List2_Analysis.thy

Pairing_Heap_Tree_Analysis.thy

rAFP644d88d7ecd2

thys/Amortized_Complexity/Pairing_Heap_List1_Analysis.thy

Loading...

thys/Amortized_Complexity/Pairing_Heap_List1_Analysis2.thy

Loading...

thys/Amortized_Complexity/Pairing_Heap_List2_Analysis.thy

Loading...

thys/Amortized_Complexity/Pairing_Heap_Tree_Analysis.thy

Loading...