1 (*
2 File: MemClerkParameters.ML
3 Author: Stephan Merz
4 Copyright: 1997 University of Munich
5
6 RPC-Memory example: Memory clerk parameters (ML file)
7 *)
8
9 val CP_simps = RP_simps @ mClkState.simps;
10
11