Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/Satz6.15d.prf

Length of proof is 1.  Level of proof is 1.
 
---------------- PROOF ----------------
 
51 [] Col(xa,xa,xb).
137 [] a=p.
138 [] -Col(a,p,q).
470 [para_into,138.1.1,137.1.1] -Col(p,p,q).
471 [binary,470.1,51.1] $F.

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists