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
10
val CP_simps = RP_simps @ mClkState.simps;
11
12