equal
deleted
inserted
replaced
597 |
597 |
598 ## HOL-IOA |
598 ## HOL-IOA |
599 |
599 |
600 HOL-IOA: HOL $(LOG)/HOL-IOA.gz |
600 HOL-IOA: HOL $(LOG)/HOL-IOA.gz |
601 |
601 |
602 $(LOG)/HOL-IOA.gz: $(OUT)/HOL IOA/Asig.ML IOA/Asig.thy IOA/IOA.ML \ |
602 $(LOG)/HOL-IOA.gz: $(OUT)/HOL IOA/Asig.thy IOA/IOA.thy \ |
603 IOA/IOA.thy IOA/ROOT.ML IOA/Solve.ML IOA/Solve.thy |
603 IOA/ROOT.ML IOA/Solve.thy |
604 @$(ISATOOL) usedir $(OUT)/HOL IOA |
604 @$(ISATOOL) usedir $(OUT)/HOL IOA |
605 |
605 |
606 |
606 |
607 ## HOL-AxClasses |
607 ## HOL-AxClasses |
608 |
608 |