[Unicon-group] One tm proving program.

[Majorinc, Kazimir]

I did one program for derivation of theorems (not proofs) of prop. calculus.

http://www.chem.pmf.hr/~kazimir/Finder.html or
http://www.chem.pmf.hr/~kazimir/Finder.txt
If someone decide to play with it, he can start with  <enter>, no and 20 
respectively as answers on the questions program asks, it should work for 
second or two.

----
Kazimir Majorinc, Zagreb, Croatia