cic_disambiguation \
lexicon \
ng_disambiguation \
- grafite_parser \
ng_paramodulation \
- ng_tactics \
- grafite_engine \
tptp_grafite \
ng_kernel \
ng_refiner \
- ng_library \
+ ng_library \
+ grafite_parser \
+ ng_tactics \
+ grafite_engine \
$(NULL)
METAS = $(MODULES:%=METAS/META.helm-%)