Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added simulations files to IOA;
authormueller
Tue, 13 Jan 1998 14:31:09 +0100
changeset 4566 23c01c724d7a
parent 4565 ea467ce15040
child 4567 b0b963a01a0c
added simulations files to IOA;
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle