/mizar2cl

Convert a mizar article to common logic format