Proof Checker

THEAX
�@�@�@Down load THEAX system for DOS(zip file)

MIZAR

---