src/HOLCF/IOA/Modelcheck/MuIOAOracle.thy

Fixed the bugs introduced by the last commit! Output is now *identical* to that
produced by the old version, based on a-lists.

(* $Id$ *)

theory MuIOAOracle
imports MuIOA
begin

oracle sim_oracle ("term * thm list") =
  mk_sim_oracle

end