equal
deleted
inserted
replaced
1 (* |
1 (* |
2 File: RPCMemoryParams.thy |
2 File: RPCMemoryParams.thy |
3 ID: $Id$ |
3 ID: $Id$ |
4 Author: Stephan Merz |
4 Author: Stephan Merz |
5 Copyright: 1997 University of Munich |
5 Copyright: 1997 University of Munich |
|
6 *) |
6 |
7 |
7 Theory Name: RPCMemoryParams |
8 header {* Basic declarations for the RPC-memory example *} |
8 Logic Image: TLA |
|
9 |
|
10 Basic declarations for the RPC-memory example. |
|
11 *) |
|
12 |
9 |
13 theory RPCMemoryParams |
10 theory RPCMemoryParams |
14 imports Main |
11 imports Main |
15 begin |
12 begin |
16 |
13 |