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 further IOA liles;
authormueller
Mon, 12 Jan 1998 17:51:05 +0100
changeset 4562 7aa75c767182
parent 4561 19f1a01570bf
child 4563 6b9a8e956af9
added further IOA liles;
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/IsaMakefile	Mon Jan 12 17:49:12 1998 +0100
+++ b/src/HOLCF/IsaMakefile	Mon Jan 12 17:51:05 1998 +0100
@@ -79,7 +79,12 @@
   IOA/meta_theory/Sequence.thy IOA/meta_theory/Automata.ML \
   IOA/meta_theory/CompoExecs.thy IOA/meta_theory/RefMappings.thy \
   IOA/meta_theory/RefCorrectness.ML IOA/meta_theory/Compositionality.ML \
-  IOA/meta_theory/Compositionality.thy
+  IOA/meta_theory/Compositionality.thy \
+  IOA/meta_theory/TL.thy IOA/meta_theory/TL.ML IOA/meta_theory/TLS.thy \
+  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
 	@cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA
isabelle