Sindbad~EG File Manager

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

RTBGHGHD
SSBDGH
NCGHB  defn:sameside
NCGHD  defn:sameside
NEHD  lemma:NCdistinct
NEDH  lemma:inequalitysymmetric
NEGB  lemma:NCdistinct
NEBG  lemma:inequalitysymmetric
ANBEBGA+EEGAGB lemma:extension
BEBGA
BEAGB  axiom:betweennesssymmetry
ANBEDHC+EEHCHD lemma:extension
BEDHC  
BECHD  axiom:betweennesssymmetry
PRABCD proposition:28B
CODHC  defn:collinear
COCDH  lemma:collinearorder
NEHD  lemma:NCdistinct
PRABHD  lemma:collinearparallel
PRHDAB lemma:parallelsymmetric
COBGA  defn:collinear
COABG  lemma:collinearorder
PRHDGB lemma:collinearparallel
PRGBHD lemma:parallelsymmetric

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