| changeset 41589 | bbd861837ebc |
| parent 35068 | 544867142ea4 |
| child 42018 | 878f33040280 |
| 41588:9546828c0eb3 | 41589:bbd861837ebc |
|---|---|
1 (* |
1 (* Title: HOL/TLA/Memory/ProcedureInterface.thy |
2 File: ProcedureInterface.thy |
2 Author: Stephan Merz, University of Munich |
3 ID: $Id$ |
|
4 Author: Stephan Merz |
|
5 Copyright: 1997 University of Munich |
|
6 *) |
3 *) |
7 |
4 |
8 header {* Procedure interface for RPC-Memory components *} |
5 header {* Procedure interface for RPC-Memory components *} |
9 |
6 |
10 theory ProcedureInterface |
7 theory ProcedureInterface |