(* Title: Graph_Theory.thy Author: Lars Noschinski, TU München *) theory Graph_Theory imports Digraph Bidirected_Digraph Arc_Walk Digraph_Component Digraph_Component_Vwalk Digraph_Isomorphism Pair_Digraph Vertex_Walk Subdivision Euler Kuratowski Shortest_Path begin end