Sindbad~EG File Manager

Current Path : /home/beeson/public_html/michaelbeeson_old/research/papers/programs/
Upload File :
Current File : //home/beeson/public_html/michaelbeeson_old/research/papers/programs/equalanglesflip.prf

EAABCDEF
NCDEF  lemma:equalanglesNC
EADEFABC  lemma:equalanglessymmetric
NCABC   lemma:equalanglesNC
COCBA   assumption
 COABC  lemma:collinearorder
NCCBA   reductio
EACBAABC  lemma:ABCequalsCBA
EACBADEF  lemma:equalanglestransitive
EADEFFED  lemma:ABCequalsCBA
EACBAFED  lemma:equalanglestransitive

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