tuned import
authorhaftmann
Thu Mar 20 12:01:13 2008 +0100 (2008-03-20 ago)
changeset 26351d5125a62f839
parent 26350 a170a190c5d3
child 26352 7f50b708376c
tuned import
src/HOL/TLA/Memory/ProcedureInterface.thy
     1.1 --- a/src/HOL/TLA/Memory/ProcedureInterface.thy	Thu Mar 20 12:01:12 2008 +0100
     1.2 +++ b/src/HOL/TLA/Memory/ProcedureInterface.thy	Thu Mar 20 12:01:13 2008 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  header {* Procedure interface for RPC-Memory components *}
     1.5  
     1.6  theory ProcedureInterface
     1.7 -imports TLA RPCMemoryParams
     1.8 +imports "../TLA" RPCMemoryParams
     1.9  begin
    1.10  
    1.11  typedecl