finition de wlit2.ml
ajout d'un lexer qui transforme une formule vers une forme normale conjonctive
(compile mais ne fonctionne pas encore)
finition de wlit2.ml
ajout d'un lexer