src/HOLCF/IOA/Modelcheck/MuIOAOracle.thy

--- a/src/HOLCF/IOA/Modelcheck/MuIOAOracle.thy	Thu Aug 19 21:31:36 1999 +0200
+++ b/src/HOLCF/IOA/Modelcheck/MuIOAOracle.thy	Thu Aug 19 21:49:10 1999 +0200
@@ -1,6 +1,7 @@
+
 MuIOAOracle = MuIOA +
 
 oracle
-Sim = mk_sim_oracle
+  Sim = mk_sim_oracle
 
 end