Searched defs:TPTP_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile349 TPTP_files = TPTP/AS.hs TPTP/Sign.hs TPTP/Sublogic.hs macro
456 TPTP/ATC_TPTP.der.hs: $(TPTP_files) $(GENRULES)
457 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(TPTP_files)
/hets/debian/
H A Drules349 TPTP_files = TPTP/AS.hs TPTP/Sign.hs TPTP/Sublogic.hs macro
456 TPTP/ATC_TPTP.der.hs: $(TPTP_files) $(GENRULES)
457 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(TPTP_files)

Completed in 1043 milliseconds