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