Searched refs:QBF_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile289 QBF_files = Propositional/Sign.hs QBF/Morphism.hs \ macro
361 QBF/ATC_QBF.der.hs: $(QBF_files) $(GENRULES)
362 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(QBF_files)
/hets/debian/
H A Drules289 QBF_files = Propositional/Sign.hs QBF/Morphism.hs \ macro
361 QBF/ATC_QBF.der.hs: $(QBF_files) $(GENRULES)
362 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(QBF_files)

Completed in 1846 milliseconds