redefth v0.2

Redefines each theorems in single or multiple files or the all *.miz in MML base.

How to use:

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.

Requirments:

Mizar 7.12+, Python 2.5+, everylab (which is not included with Mizar binary files)

More info:

Mizar: mizar.org