equal
deleted
inserted
replaced
1140 HOL-TPTP: HOL $(LOG)/HOL-TPTP.gz |
1140 HOL-TPTP: HOL $(LOG)/HOL-TPTP.gz |
1141 |
1141 |
1142 $(LOG)/HOL-TPTP.gz: $(OUT)/HOL \ |
1142 $(LOG)/HOL-TPTP.gz: $(OUT)/HOL \ |
1143 TPTP/ATP_Problem_Import.thy \ |
1143 TPTP/ATP_Problem_Import.thy \ |
1144 TPTP/ATP_Theory_Export.thy \ |
1144 TPTP/ATP_Theory_Export.thy \ |
1145 TPTP/CASC_Setup.thy \ |
1145 TPTP/THF_Arith.thy \ |
1146 TPTP/ROOT.ML \ |
1146 TPTP/ROOT.ML \ |
1147 TPTP/TPTP_Parser.thy \ |
1147 TPTP/TPTP_Parser.thy \ |
1148 TPTP/TPTP_Parser/ml_yacc_lib.ML \ |
1148 TPTP/TPTP_Parser/ml_yacc_lib.ML \ |
1149 TPTP/TPTP_Parser/tptp_interpret.ML \ |
1149 TPTP/TPTP_Parser/tptp_interpret.ML \ |
1150 TPTP/TPTP_Parser/tptp_lexyacc.ML \ |
1150 TPTP/TPTP_Parser/tptp_lexyacc.ML \ |