Search

Sort by

In Project(s)

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

/hets/
H A D	Makefile	`327 CommonLogic_files = CommonLogic/AS_CommonLogic.hs CommonLogic/Sign.hs \ macro 428 CommonLogic/ATC_CommonLogic.der.hs: $(CommonLogic_files) $(GENRULES) 429 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CommonLogic_files)`
/hets/debian/
H A D	rules	`327 CommonLogic_files = CommonLogic/AS_CommonLogic.hs CommonLogic/Sign.hs \ macro 428 CommonLogic/ATC_CommonLogic.der.hs: $(CommonLogic_files) $(GENRULES) 429 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(CommonLogic_files)`

Completed in 1380 milliseconds