(* File: MemClerkParameters.ML ID: $Id: MemClerkParameters.ML,v 1.3 2005/09/07 18:22:42 wenzelm Exp $ Author: Stephan Merz Copyright: 1997 University of Munich RPC-Memory example: Memory clerk parameters (ML file) *) (* val CP_simps = RP_simps @ mClkState.simps; *)