Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned import
authorhaftmann
Thu, 20 Mar 2008 12:01:13 +0100
changeset 26351 d5125a62f839
parent 26350 a170a190c5d3
child 26352 7f50b708376c
tuned import
src/HOL/TLA/Memory/ProcedureInterface.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle