matitaInit.cmo \
matitaExcPp.cmo \
matitaEngine.cmo \
+ applyTransformation.cmo \
matitacLib.cmo \
matitaprover.cmo \
- applyTransformation.cmo \
matitaGtkMisc.cmo \
matitaScript.cmo \
matitaGeneratedGui.cmo \
matitaInit.cmo \
matitaExcPp.cmo \
matitaEngine.cmo \
- matitacLib.cmo \
applyTransformation.cmo \
+ matitacLib.cmo \
matitaWiki.cmo \
matitaprover.cmo \
$(NULL)