Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/IsaMakefile
changeset 4562 7aa75c767182
parent 4518 74c01296e818
child 4566 23c01c724d7a 
--- 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