Up to index of Isabelle/HOLCF/IOA/Modelcheck
(* $Id: MuIOAOracle.thy,v 1.3 2005/09/03 14:50:23 wenzelm Exp $ *) theory MuIOAOracle imports MuIOA begin oracle sim_oracle ("term * thm list") = mk_sim_oracle end