# HG changeset patch
# User mueller
# Date 884698269 -3600
# Node ID 23c01c724d7a47ccb6e1d36ad3ea031e41836708
# Parent  ea467ce150405756d4c9b9dd7d033fb7b8facb21
added simulations files to IOA;

diff -r ea467ce15040 -r 23c01c724d7a src/HOLCF/IsaMakefile
--- 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