Diffusion afp-devel 20d8b386cf87

Renamed incident and order to vincident and gorder due to` compatibility issues.
20d8b386cf87
Actions

Tags

None

Subscribers

None

Description

Renamed incident and order to vincident and gorder due to` compatibility issues.

Details

Provenance

Authored on

Parents

rAFP4ca560fce8a5: redefine substitution of terms as special case of general evaluation of terms

Branches

Unknown

Tags

Unknown

Event Timeline

cledmonds committed rAFP20d8b386cf87: Renamed incident and order to vincident and gorder due to` compatibility issues..Aug 18 2023, 10:08 PM

Changes (4)

Path

Size

metadata/

entries/

Undirected_Graph_Theory.toml

thys/

Undirected_Graph_Theory/

Graph_Theory_Relations.thy

Undirected_Graph_Basics.thy

Undirected_Graph_Walks.thy

rAFP20d8b386cf87

metadata/entries/Undirected_Graph_Theory.toml

Loading...

thys/Undirected_Graph_Theory/Graph_Theory_Relations.thy

Loading...

thys/Undirected_Graph_Theory/Undirected_Graph_Basics.thy

Loading...

thys/Undirected_Graph_Theory/Undirected_Graph_Walks.thy

Loading...