768 $(LOG)/HOL-IOA.gz: $(OUT)/HOL IOA/Asig.thy IOA/IOA.thy IOA/ROOT.ML \ |
767 $(LOG)/HOL-IOA.gz: $(OUT)/HOL IOA/Asig.thy IOA/IOA.thy IOA/ROOT.ML \ |
769 IOA/Solve.thy |
768 IOA/Solve.thy |
770 @$(ISABELLE_TOOL) usedir $(OUT)/HOL IOA |
769 @$(ISABELLE_TOOL) usedir $(OUT)/HOL IOA |
771 |
770 |
772 |
771 |
773 ## HOL-AxClasses |
|
774 |
|
775 HOL-AxClasses: HOL $(LOG)/HOL-AxClasses.gz |
|
776 |
|
777 $(LOG)/HOL-AxClasses.gz: $(OUT)/HOL AxClasses/Group.thy \ |
|
778 AxClasses/Product.thy AxClasses/ROOT.ML AxClasses/Semigroups.thy |
|
779 @$(ISABELLE_TOOL) usedir $(OUT)/HOL AxClasses |
|
780 |
|
781 |
|
782 ## HOL-Lattice |
772 ## HOL-Lattice |
783 |
773 |
784 HOL-Lattice: HOL $(LOG)/HOL-Lattice.gz |
774 HOL-Lattice: HOL $(LOG)/HOL-Lattice.gz |
785 |
775 |
786 $(LOG)/HOL-Lattice.gz: $(OUT)/HOL Lattice/Bounds.thy \ |
776 $(LOG)/HOL-Lattice.gz: $(OUT)/HOL Lattice/Bounds.thy \ |
1043 |
1033 |
1044 |
1034 |
1045 ## clean |
1035 ## clean |
1046 |
1036 |
1047 clean: |
1037 clean: |
1048 @rm -f $(OUT)/HOL-Plain $(OUT)/HOL-Main $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \ |
1038 @rm -f $(OUT)/HOL-Plain $(OUT)/HOL-Main $(OUT)/HOL \ |
1049 $(LOG)/HOL.gz $(LOG)/TLA.gz \ |
1039 $(OUT)/HOL-Nominal $(OUT)/TLA $(LOG)/HOL.gz \ |
1050 $(LOG)/HOL-Isar_examples.gz $(LOG)/HOL-Induct.gz \ |
1040 $(LOG)/TLA.gz $(LOG)/HOL-Isar_examples.gz \ |
1051 $(LOG)/HOL-ex.gz $(LOG)/HOL-Subst.gz $(LOG)/HOL-IMP.gz \ |
1041 $(LOG)/HOL-Induct.gz $(LOG)/HOL-ex.gz \ |
1052 $(LOG)/HOL-IMPP.gz $(LOG)/HOL-Hoare.gz \ |
1042 $(LOG)/HOL-Subst.gz $(LOG)/HOL-IMP.gz \ |
1053 $(LOG)/HOL-HoareParallel.gz \ |
1043 $(LOG)/HOL-IMPP.gz $(LOG)/HOL-Hoare.gz \ |
1054 $(LOG)/HOL-Lex.gz $(LOG)/HOL-Algebra.gz \ |
1044 $(LOG)/HOL-HoareParallel.gz $(LOG)/HOL-Lex.gz \ |
1055 $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \ |
1045 $(LOG)/HOL-Algebra.gz $(LOG)/HOL-Auth.gz \ |
1056 $(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Lambda.gz \ |
1046 $(LOG)/HOL-UNITY.gz $(LOG)/HOL-Modelcheck.gz \ |
1057 $(LOG)/HOL-Bali.gz \ |
1047 $(LOG)/HOL-Lambda.gz $(LOG)/HOL-Bali.gz \ |
1058 $(LOG)/HOL-MicroJava.gz $(LOG)/HOL-NanoJava.gz \ |
1048 $(LOG)/HOL-MicroJava.gz $(LOG)/HOL-NanoJava.gz \ |
1059 $(LOG)/HOL-Nominal-Examples.gz \ |
1049 $(LOG)/HOL-Nominal-Examples.gz $(LOG)/HOL-IOA.gz \ |
1060 $(LOG)/HOL-IOA.gz $(LOG)/HOL-AxClasses \ |
1050 $(LOG)/HOL-Lattice $(LOG)/HOL-Matrix \ |
1061 $(LOG)/HOL-Lattice $(LOG)/HOL-Matrix \ |
1051 $(LOG)/HOL-HahnBanach.gz $(LOG)/HOL-SET-Protocol.gz \ |
1062 $(LOG)/HOL-HahnBanach.gz $(LOG)/HOL-SET-Protocol.gz \ |
1052 $(LOG)/TLA-Inc.gz $(LOG)/TLA-Buffer.gz \ |
1063 $(LOG)/TLA-Inc.gz $(LOG)/TLA-Buffer.gz $(LOG)/TLA-Memory.gz \ |
1053 $(LOG)/TLA-Memory.gz $(LOG)/HOL-Library.gz \ |
1064 $(LOG)/HOL-Library.gz $(LOG)/HOL-Unix.gz \ |
1054 $(LOG)/HOL-Unix.gz $(OUT)/HOL-Word $(LOG)/HOL-Word.gz \ |
1065 $(OUT)/HOL-Word $(LOG)/HOL-Word.gz $(LOG)/HOL-Word-Examples.gz \ |
1055 $(LOG)/HOL-Word-Examples.gz $(OUT)/HOL-NSA \ |
1066 $(OUT)/HOL-NSA $(LOG)/HOL-NSA.gz $(LOG)/HOL-NSA-Examples.gz |
1056 $(LOG)/HOL-NSA.gz $(LOG)/HOL-NSA-Examples.gz |