Use matita/lib as the new standard library in place of matita/nlibrary.

[helm.git] / matita / components / grafite_parser / .depend.opt

dependenciesParser.cmi: 
grafiteParser.cmi: 
print_grammar.cmi: grafiteParser.cmi 
dependenciesParser.cmo: dependenciesParser.cmi 
dependenciesParser.cmx: dependenciesParser.cmi 
grafiteParser.cmo: grafiteParser.cmi 
grafiteParser.cmx: grafiteParser.cmi 
print_grammar.cmo: print_grammar.cmi 
print_grammar.cmx: print_grammar.cmi