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/TGsymmetric.prf

TGAaBbCc
ANBEAaH+EEaHBb+LTCcAH  defn:togethergreater
BEAaH 
EEaHBb
LTCcAH
NEaH  lemma:betweennotequal
NEBb  axiom:nocollapse
NEAa  lemma:betweennotequal
ANBEBbF+EEbFAa  lemma:extension
BEBbF
EEbFAa
EEaAFb  lemma:doublereverse
EEAaFb  lemma:congruenceflip
EEaHbB  lemma:congruenceflip
BEFbB   axiom:betweennesssymmetry
EEAHFB  cn:sumofparts
EEAHBF  lemma:congruenceflip
LTCcBF  lemma:lessthancongruence
TGBbAaCc  defn:togethergreater

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