Diffusion Isabelle 831f17da1aab

renamed "balanced" -> "acomplete" because balanced has other meanings in the…
831f17da1aab
Actions

Tags

None

Subscribers

None

Description

renamed "balanced" -> "acomplete" because balanced has other meanings in the literature

Details

Provenance

Authored on

Parents

rISABELLEed5b907bbf50: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE831f17da1aab: renamed "balanced" -> "acomplete" because balanced has other meanings in the….Nov 10 2020, 5:42 PM

Changes (7)

Path

Size

src/

HOL/

Data_Structures/

Library/

ex/

rISABELLE831f17da1aab

src/HOL/Data_Structures/Balance.thy

Loading...

src/HOL/Data_Structures/Braun_Tree.thy

Loading...

src/HOL/Data_Structures/Tree23.thy

Loading...

src/HOL/Data_Structures/Tree23_Set.thy

Loading...

src/HOL/Library/Tree.thy

Loading...

src/HOL/Library/Tree_Real.thy

Loading...

src/HOL/ex/Tree23.thy

Loading...