--- a/src/Sequents/LK/Nat.thy Sat Feb 01 17:56:03 2014 +0100
+++ b/src/Sequents/LK/Nat.thy Sat Feb 01 18:00:28 2014 +0100
@@ -6,7 +6,7 @@
header {* Theory of the natural numbers: Peano's axioms, primitive recursion *}
theory Nat
-imports LK
+imports "../LK"
begin
typedecl nat