Sindbad~EG File Manager

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

TRABC
TRDEF
EEABDE
EEACDF
AOEDFBAC
NCDEF    defn:triangle
EQDE assumption
 CODEF  defn:collinear
NEDE  reductio
NCABC  defn:triangle
COBAC assumption
 COABC lemma:collinearorder
NCBAC reductio
ANRADEH+EAJDHBAC+SSJFDE  proposition:23C
RADEH
EAJDHBAC
SSJFDE
RADHE  lemma:ray4
ANRADJG+EEDGDF lemma:layoff
RADJ lemma:ray4
EEDGDF
EABACJDH  lemma:equalanglessymmetric
EABACGDE  lemma:equalangleshelper
EAGDEBAC  lemma:equalanglessymmetric





LTEFBC

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