--- a/src/HOLCF/IsaMakefile Tue Jan 13 14:26:21 1998 +0100
+++ b/src/HOLCF/IsaMakefile Tue Jan 13 14:31:09 1998 +0100
@@ -84,7 +84,9 @@
IOA/meta_theory/TLS.ML IOA/meta_theory/LiveIOA.thy IOA/meta_theory/LiveIOA.ML \
IOA/meta_theory/Pred.thy IOA/meta_theory/Abstraction.thy \
IOA/meta_theory/Abstraction.ML IOA/meta_theory/TrivEx.thy IOA/meta_theory/TrivEx.ML \
- IOA/meta_theory/TrivEx2.thy IOA/meta_theory/TrivEx2.ML
+ IOA/meta_theory/TrivEx2.thy IOA/meta_theory/TrivEx2.ML \
+ IOA/meta_theory/Simulations.thy IOA/meta_theory/Simulations.ML \
+ IOA/meta_theory/SimCorrectness.thy IOA/meta_theory/SimCorrectness.ML
@cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA