src/HOL/Library/Graphs.thy
changeset 24423 ae9cd0e92423
parent 24345 86a3557a9ebb
     1.1 --- a/src/HOL/Library/Graphs.thy	Fri Aug 24 14:14:18 2007 +0200
     1.2 +++ b/src/HOL/Library/Graphs.thy	Fri Aug 24 14:14:20 2007 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  header {* General Graphs as Sets *}
     1.5  
     1.6  theory Graphs
     1.7 -imports Main SCT_Misc Kleene_Algebras Executable_Set
     1.8 +imports Main SCT_Misc Kleene_Algebras
     1.9  begin
    1.10  
    1.11  subsection {* Basic types, Size Change Graphs *}