| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/proofs/TTflip.prf |
TTABCDEFGH ANBEEFJ+EEFJGH+TGABCDEJ defn:togetherfour BEEFJ EEFJGH TGABCDEJ TGBACDEJ lemma:TGflip TGCDBAEJ lemma:TGsymmetric TGDCBAEJ lemma:TGflip TGBADCEJ lemma:TGsymmetric TTBADCEFGH defn:togetherfour