
diff -r a170a190c5d3 -r d5125a62f839 src/HOL/TLA/Memory/ProcedureInterface.thy
--- a/src/HOL/TLA/Memory/ProcedureInterface.thy	Thu Mar 20 12:01:12 2008 +0100
+++ b/src/HOL/TLA/Memory/ProcedureInterface.thy	Thu Mar 20 12:01:13 2008 +0100
@@ -8,7 +8,7 @@
 header {* Procedure interface for RPC-Memory components *}
 
 theory ProcedureInterface
-imports TLA RPCMemoryParams
+imports "../TLA" RPCMemoryParams
 begin
 
 typedecl




