Removed debugging code imports...

--- a/src/HOL/ex/CodeCollections.thy	Wed Sep 13 12:21:35 2006 +0200
+++ b/src/HOL/ex/CodeCollections.thy	Wed Sep 13 12:37:13 2006 +0200
@@ -5,7 +5,7 @@
 header {* Collection classes as examples for code generation *}
 
 theory CodeCollections
-imports "../FundefDebug" CodeOperationalEquality
+imports CodeOperationalEquality
 begin
 
 section {* Collection classes as examples for code generation *}

--- a/src/HOL/ex/Fundefs.thy	Wed Sep 13 12:21:35 2006 +0200
+++ b/src/HOL/ex/Fundefs.thy	Wed Sep 13 12:37:13 2006 +0200
@@ -6,7 +6,7 @@
 *)
 
 theory Fundefs 
-imports Main "../FundefDebug"
+imports Main
 begin