
diff -r fd4fa6df22d1 -r a95a497e1f4f Nominal/Ex/CPS/Lt.thy
--- a/Nominal/Ex/CPS/Lt.thy	Fri Jun 24 11:15:22 2011 +0900
+++ b/Nominal/Ex/CPS/Lt.thy	Fri Jun 24 11:18:18 2011 +0900
@@ -1,6 +1,6 @@
 header {* The Call-by-Value Lambda Calculus *}
 theory Lt
-imports Nominal2
+imports "../../Nominal2"
 begin
 
 atom_decl name




