src/HOLCF/IOA/Modelcheck/MuIOAOracle.thy

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/IOA/Modelcheck/MuIOAOracle.thy	Thu Apr 22 11:09:05 1999 +0200
@@ -0,0 +1,6 @@
+MuIOAOracle = MuIOA +
+
+oracle
+Sim = mk_sim_oracle
+
+end