Automatically replaces theorems proofs in the *.miz files with available references.
For the single file (without *.miz extension):
python proof2ref.py -f text/filename
For the all files from text directory:
python proof2ref.py -d text
For the single file (without *.miz extension) with generated report (report.txt):
python proof2ref.py -f text/filename -r
For the all files from text directory with generated report (report.txt):
python proof2ref.py -d text -r
WARNING!
In the first place you have to run redefth.py which create redefines version of MML base.
Remember to set up mizarPath inside of the script.
Mizar 7.12+, Python 2.5+, lxml 2.3+
Mizar: mizar.org