--- a/src/CTT/ex/Elimination.thy Tue Nov 11 11:47:53 2014 +0100
+++ b/src/CTT/ex/Elimination.thy Tue Nov 11 13:40:13 2014 +0100
@@ -9,7 +9,7 @@
section "Examples with elimination rules"
theory Elimination
-imports CTT
+imports "../CTT"
begin
text "This finds the functions fst and snd!"