--- a/Nominal/Ex/SFT/Consts.thy	Fri Jun 24 11:15:22 2011 +0900
+++ b/Nominal/Ex/SFT/Consts.thy	Fri Jun 24 11:18:18 2011 +0900
@@ -1,5 +1,6 @@
 header {* Constant definitions *}
-theory Consts imports Utils Lambda begin
+
+theory Consts imports Utils begin
 
 fun Umn :: "nat \<Rightarrow> nat \<Rightarrow> lam"
 where