Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/erectedperpendicularunique.prf

RRABC
RRABE
SSCEAB
ANBEABD+EEABDB+EEACDC+NEBC   defn:rightangle
NEBC
NEBE  defn:rightangle
ANRABEH+EEBHBC  lemma:layoff
RABEH
EEBHBC
EQBB   cn:equalityreflexive
COABB  defn:collinear
SSCHAB  lemma:sameside2
RRABH  lemma:8.3
EEBCBH  lemma:congruencesymmetric
EEACAH  lemma:10.12
EECAHA  lemma:congruenceflip
EECBHB  lemma:congruenceflip
EQAB  assumption
 COABC  defn:collinear
 NCABC  lemma:rightangleNC
NEAB    reductio
EQCH    proposition:07
RABEC   cn:equalitysub
RABCE   lemma:ray5

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