Redefines each theorems in single or multiple files or the all *.miz in MML base.
For the first 10 files:
python redefth.py 10
For the all files from MML directory:
python redefth.py -a
For the single file (without *.miz extension):
python redefth.py -f filename
Remember to set up mmlPath, everylabPath and textPath inside of the script.
Mizar 7.12+, Python 2.5+, everylab (which is not included with Mizar binary files)
Mizar: mizar.org