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

/hets/
H A DMakefile303 CoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs macro
392 CoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
393 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)
/hets/debian/
H A Drules303 CoCASL_files = CoCASL/AS_CoCASL.hs CoCASL/CoCASLSign.hs macro
392 CoCASL/ATC_CoCASL.der.hs: $(CoCASL_files) $(GENRULES)
393 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CoCASL_files)

Completed in 765 milliseconds