| changeset 26351 | d5125a62f839 |
| parent 21624 | 6f79647cf536 |
| child 35068 | 544867142ea4 |
--- 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