| changeset 17309 | c43ed29bd197 |
| parent 6255 | db63752140c7 |
| 17308:5d9bbc0d9bd3 | 17309:c43ed29bd197 |
|---|---|
1 (* |
1 (* |
2 File: MemClerkParameters.ML |
2 File: MemClerkParameters.ML |
3 ID: $Id$ |
|
3 Author: Stephan Merz |
4 Author: Stephan Merz |
4 Copyright: 1997 University of Munich |
5 Copyright: 1997 University of Munich |
5 |
6 |
6 RPC-Memory example: Memory clerk parameters (ML file) |
7 RPC-Memory example: Memory clerk parameters (ML file) |
7 *) |
8 *) |
8 |
9 |
9 (* |
10 (* |
10 val CP_simps = RP_simps @ mClkState.simps; |
11 val CP_simps = RP_simps @ mClkState.simps; |
11 |
|
12 *) |
12 *) |