Diffusion afp-devel b7549ce8d7f3

Tree_Enumeration: Fix errors introduced by renamings in Unidrected_Graph_Theory.
b7549ce8d7f3
Actions

Tags

None

Subscribers

None

Description

Tree_Enumeration: Fix errors introduced by renamings in Unidrected_Graph_Theory.

Details

Provenance

Emin Karayel <me@eminkarayel.de>

Authored on

Parents

rAFPa8b445bdbdfb: merge from afp-2022

Branches

Unknown

Tags

Unknown

Event Timeline

Emin Karayel <me@eminkarayel.de> committed rAFPb7549ce8d7f3: Tree_Enumeration: Fix errors introduced by renamings in Unidrected_Graph_Theory..Aug 20 2023, 1:26 PM

Changes (3)

Path

Size

thys/

Tree_Enumeration/

Labeled_Tree_Enumeration.thy

Rooted_Tree.thy

rAFPb7549ce8d7f3

thys/Tree_Enumeration/Labeled_Tree_Enumeration.thy

Loading...

thys/Tree_Enumeration/Rooted_Tree.thy

Loading...

thys/Tree_Enumeration/Tree_Graph.thy

Loading...