equal
deleted
inserted
replaced
369 |
369 |
370 ## HOL-BCV |
370 ## HOL-BCV |
371 |
371 |
372 HOL-BCV: HOL $(LOG)/HOL-BCV.gz |
372 HOL-BCV: HOL $(LOG)/HOL-BCV.gz |
373 |
373 |
374 $(LOG)/HOL-BCV.gz: $(OUT)/HOL BCV/DFAandWTI.ML \ |
374 $(LOG)/HOL-BCV.gz: $(OUT)/HOL \ |
375 BCV/DFAandWTI.thy BCV/DFAimpl.ML BCV/DFAimpl.thy \ |
375 BCV/DFA_Framework.thy BCV/DFA_Framework.ML BCV/Err.thy BCV/Err.ML \ |
376 BCV/Fixpoint.ML BCV/Fixpoint.thy BCV/Machine.ML BCV/Machine.thy \ |
376 BCV/JType.ML BCV/JType.thy BCV/JVM.ML BCV/JVM.thy \ |
377 BCV/Orders.ML BCV/Orders.thy BCV/Orders0.ML BCV/Orders0.thy \ |
377 BCV/Kildall.ML BCV/Kildall.thy BCV/Listn.ML BCV/Listn.thy \ |
378 BCV/Plus.ML BCV/Plus.thy BCV/ROOT.ML BCV/SemiLattice.ML BCV/SemiLattice.thy \ |
378 BCV/Opt.ML BCV/Opt.thy BCV/ROOT.ML BCV/Semilat.ML BCV/Semilat.thy \ |
379 BCV/Types0.ML BCV/Types0.thy BCV/Types.ML BCV/Types.thy |
379 BCV/Product.ML BCV/Product.thy |
380 @$(ISATOOL) usedir $(OUT)/HOL BCV |
380 @$(ISATOOL) usedir $(OUT)/HOL BCV |
381 |
381 |
382 ## HOL-IOA |
382 ## HOL-IOA |
383 |
383 |
384 HOL-IOA: HOL $(LOG)/HOL-IOA.gz |
384 HOL-IOA: HOL $(LOG)/HOL-IOA.gz |