(* File: MemClerkParameters.ML Author: Stephan Merz Copyright: 1997 University of Munich RPC-Memory example: Memory clerk parameters (ML file) *) (* val CP_simps = RP_simps @ mClkState.simps; *)