equal
deleted
inserted
replaced
1167 HOL-TPTP: HOL $(LOG)/HOL-TPTP.gz |
1167 HOL-TPTP: HOL $(LOG)/HOL-TPTP.gz |
1168 |
1168 |
1169 $(LOG)/HOL-TPTP.gz: \ |
1169 $(LOG)/HOL-TPTP.gz: \ |
1170 $(OUT)/HOL \ |
1170 $(OUT)/HOL \ |
1171 TPTP/ROOT.ML \ |
1171 TPTP/ROOT.ML \ |
1172 TPTP/ATP_Export.thy \ |
1172 TPTP/atp_theory_export.ML \ |
1173 TPTP/CASC_Setup.thy \ |
1173 TPTP/ATP_Theory_Export.thy \ |
1174 TPTP/atp_export.ML |
1174 TPTP/CASC_Setup.thy |
1175 @$(ISABELLE_TOOL) usedir $(OUT)/HOL TPTP |
1175 @$(ISABELLE_TOOL) usedir $(OUT)/HOL TPTP |
1176 |
1176 |
1177 |
1177 |
1178 ## HOL-Multivariate_Analysis |
1178 ## HOL-Multivariate_Analysis |
1179 |
1179 |