Searched defs:CASL_DL_files (Results 1 - 2 of 2) sorted by relevance

/hets/
H A DMakefile310 CASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs macro
389 CASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
390 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)
/hets/debian/
H A Drules310 CASL_DL_files = CASL_DL/AS_CASL_DL.hs CASL_DL/Sign.hs CASL_DL/Sublogics.hs macro
389 CASL_DL/ATC_CASL_DL.der.hs: $(CASL_DL_files) $(GENRULES)
390 $(GENRULECALL) -i CASL.ATC_CASL -o $@ $(CASL_DL_files)

Completed in 22 milliseconds