diff -r 2a683fb686fd -r cbc2ac19d783 src/CCL/ex/Nat.thy --- a/src/CCL/ex/Nat.thy Tue Nov 11 11:47:53 2014 +0100 +++ b/src/CCL/ex/Nat.thy Tue Nov 11 13:40:13 2014 +0100 @@ -6,7 +6,7 @@ section {* Programs defined over the natural numbers *} theory Nat -imports Wfd +imports "../Wfd" begin definition not :: "i=>i"