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.
BCV
authornipkow
Mon, 04 Sep 2000 09:40:28 +0200
changeset 9823 5873fc4ea3f9
parent 9822 dcf5f9886b8f
child 9824 c6eee0626d28
BCV
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Sun Sep 03 20:04:43 2000 +0200
+++ b/src/HOL/IsaMakefile	Mon Sep 04 09:40:28 2000 +0200
@@ -371,12 +371,12 @@
 
 HOL-BCV: HOL $(LOG)/HOL-BCV.gz
 
-$(LOG)/HOL-BCV.gz: $(OUT)/HOL BCV/DFAandWTI.ML \
-  BCV/DFAandWTI.thy BCV/DFAimpl.ML BCV/DFAimpl.thy \
-  BCV/Fixpoint.ML BCV/Fixpoint.thy BCV/Machine.ML BCV/Machine.thy \
-  BCV/Orders.ML BCV/Orders.thy BCV/Orders0.ML BCV/Orders0.thy \
-  BCV/Plus.ML BCV/Plus.thy BCV/ROOT.ML BCV/SemiLattice.ML BCV/SemiLattice.thy \
-  BCV/Types0.ML BCV/Types0.thy BCV/Types.ML BCV/Types.thy
+$(LOG)/HOL-BCV.gz: $(OUT)/HOL \
+  BCV/DFA_Framework.thy BCV/DFA_Framework.ML BCV/Err.thy BCV/Err.ML \
+  BCV/JType.ML BCV/JType.thy BCV/JVM.ML BCV/JVM.thy \
+  BCV/Kildall.ML BCV/Kildall.thy BCV/Listn.ML BCV/Listn.thy \
+  BCV/Opt.ML BCV/Opt.thy BCV/ROOT.ML BCV/Semilat.ML BCV/Semilat.thy \
+  BCV/Product.ML BCV/Product.thy
 	@$(ISATOOL) usedir $(OUT)/HOL BCV
 
 ## HOL-IOA
isabelle