gallina.cmo: init.cmo lex_coq.cmo 
gallina.cmx: init.cmx lex_coq.cmx 
lex_coq.cmo: init.cmo 
lex_coq.cmx: init.cmx 
