src/CTT/ex/Typechecking.thy

--- a/src/CTT/ex/Typechecking.thy	Tue Nov 11 11:47:53 2014 +0100
+++ b/src/CTT/ex/Typechecking.thy	Tue Nov 11 13:40:13 2014 +0100
@@ -6,7 +6,7 @@
 section "Easy examples: type checking and type deduction"
 
 theory Typechecking
-imports CTT
+imports "../CTT"
 begin
 
 subsection {* Single-step proofs: verifying that a type is well-formed *}