/usr/share/matita/ma/
/usr/share/matita/xml/