--- a/src/HOLCF/IOA/Modelcheck/MuIOA.thy Thu Oct 16 19:44:36 2008 +0200
+++ b/src/HOLCF/IOA/Modelcheck/MuIOA.thy Thu Oct 16 22:44:22 2008 +0200
@@ -2,7 +2,7 @@
(* $Id$ *)
theory MuIOA
-imports IOA MuckeSyn
+imports IOA "../../../HOL/Modelcheck/MuckeSyn"
begin
consts