Search

Sort by

In Project(s)

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

/hets/
H A D	Makefile	`282 Propositional_files = Propositional/Sign.hs Propositional/Morphism.hs \ macro 358 Propositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES) 359 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)`
/hets/debian/
H A D	rules	`282 Propositional_files = Propositional/Sign.hs Propositional/Morphism.hs \ macro 358 Propositional/ATC_Propositional.der.hs: $(Propositional_files) $(GENRULES) 359 $(GENRULECALL) -i ATC.AS_Annotation -o $@ $(Propositional_files)`

Completed in 2012 milliseconds