null

Sort by

In Project(s)

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

/hets/
H A D	Makefile	`279 HasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs macro 368 HasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES) 369 $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)`
/hets/debian/
H A D	rules	`279 HasCASL_files = Common/Prec.hs HasCASL/As.hs HasCASL/Le.hs HasCASL/Sublogic.hs macro 368 HasCASL/ATC_HasCASL.der.hs: $(HasCASL_files) $(GENRULES) 369 $(GENRULECALL) -i ATC.GlobalAnnotations -o $@ $(HasCASL_files)`

Completed in 645 milliseconds