(*
File: RPCParameters.ML
ID: $Id$
Author: Stephan Merz
Copyright: 1997 University of Munich
RPC-Memory example: RPC parameters (theorems and proofs)
*)
Addsimps ([RFNoMemVal, NotAResultNotRF, OKNotRF, BANotRF]
@ (map (fn x => x RS not_sym) [NotAResultNotRF, OKNotRF, BANotRF]));