Theory MuIOAOracle

Up to index of Isabelle/HOLCF/IOA/Modelcheck

theory MuIOAOracle
imports MuIOA
uses [MuIOAOracle.ML]
begin

(* $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