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

/hets/
H A DMakefile76 GENRULES = utils/genRules macro
77 GENRULECALL = $(GENRULES) -r ShATermConvertible \
80 GENRULECALL2 = $(GENRULES) -r ShATermLG \
170 Haskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
216 ATC/Id.der.hs: Common/Id.hs $(GENRULES)
219 ATC/IRI.der.hs: Common/IRI.hs $(GENRULES)
222 ATC/Result.der.hs: Common/Result.hs $(GENRULES)
225 ATC/OrderedMap.der.hs: Common/OrderedMap.hs $(GENRULES)
228 ATC/Graph.der.hs: Common/Lib/Graph.hs $(GENRULES)
231 ATC/ProofTree.der.hs: Common/ProofTree.hs $(GENRULES)
[all...]
/hets/debian/
H A Drules76 GENRULES = utils/genRules macro
77 GENRULECALL = $(GENRULES) -r ShATermConvertible \
80 GENRULECALL2 = $(GENRULES) -r ShATermLG \
170 Haskell/ATC_Haskell.der.hs: $(Haskell_files) $(GENRULES)
216 ATC/Id.der.hs: Common/Id.hs $(GENRULES)
219 ATC/IRI.der.hs: Common/IRI.hs $(GENRULES)
222 ATC/Result.der.hs: Common/Result.hs $(GENRULES)
225 ATC/OrderedMap.der.hs: Common/OrderedMap.hs $(GENRULES)
228 ATC/Graph.der.hs: Common/Lib/Graph.hs $(GENRULES)
231 ATC/ProofTree.der.hs: Common/ProofTree.hs $(GENRULES)
[all...]

Completed in 703 milliseconds