File MemClerkParameters.ML (Isabelle2005: October 2005)

(*
    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;
*)