theorem proving program

[Siva Chelliah/50000]

I like to have a geometric theorem proving program for MS-DOS.
Any pointers ?

Thanks
siva (siva at bally.bally.com)


-- 
/=*=*=*=*=*=*=*=*=*=*=*=*=*=*-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=\
| Siva at bally.bally.com     | He who asks is a fool for five minuites,|
| Bally Systems,           | but he who does not ask remains a fool  |
| Reno,  NV 89502          | forever      -Old Chinese saying        |