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/PropIII.03A.prf

CIJEEA
ONCJ
ONDJ
ONAJ
ONBJ
MIAFB
NCABE
EEEAEB  lemma:radiiequal
EEAFFB  defn:midpoint
BEAFB   defn:midpoint
COAFB   defn:collinear
COABF   lemma:collinearorder
EEAFBF  lemma:congruenceflip
EQEF   assumption
 NCABF  cn:equalitysub
NEEF   reductio
NEFE    lemma:inequalitysymmetric
EEAEBE  lemma:congruenceflip
RRAFE   defn:rightangle
EEBFAF   lemma:congruencesymmetric
EEBEAE lemma:congruencesymmetric
BEBFA   axiom:betweennesssymmetry
RRBFE   defn:rightangle
ANRRAFE+RRBFE

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