--- a/src/HOL/UNITY/Simple/Reach.thy Tue Jan 03 14:07:17 2006 +0100
+++ b/src/HOL/UNITY/Simple/Reach.thy Tue Jan 03 15:43:54 2006 +0100
@@ -7,7 +7,7 @@
[this example took only four days!]
*)
-theory Reach imports UNITY_Main begin
+theory Reach imports "../UNITY_Main" begin
typedecl vertex