Sindbad~EG File Manager

OSPABC
BERPQ
COABR
BEARB
ANBEPSC+COABS+NCABP   defn:oppositeside
BEPSC
COABS
NCABP
NEAB defn:noncollinear
NERB lemma:betweennotequal

COABQ assumption
 CORPQ  defn:collinear
 COABR 
 COBRA lemma:collinearorder
 NEBR lemma:inequalitysymmetric 
 COBQR lemma:collinear4 
 CORQB lemma:collinearorder
 CORQP lemma:collinearorder
 NERQ  lemma:betweennotequal
 COQBP  lemma:collinear4
 COQBA  lemma:collinearorder
 EQQB assumption
  CORPB cn:equalitysub
  CORBP  lemma:collinearorder
  CORBA  lemma:collinearorder
  NERB  lemma:betweennotequal
  COBPA lemma:collinear4
  COABP  lemma:collinearorder
  NCABP
 NEQB  reductio
 COBPA  lemma:collinear4
 COABP  lemma:collinearorder
 NCABP
NCABQ  reductio
CORBQ assumption
 CORBA lemma:collinearorder
 NERB lemma:betweennotequal
 COBQA lemma:collinear4
 COABQ lemma:collinearorder
 NCABQ
NCRBQ reductio
ANBEABG+EEBGRB postulate:extension
BEABG
EEBGRB
BERPQ
BERBG  lemma:3.6a
COABG  defn:collinear
BECSP  axiom:betweennesssymmetry
EQQG assumption
 COABG 
 COABQ cn:equalitysub
 NCABQ
NEQG reductio
COGQR assumption
 COABG
 COABR
 COBRG lemma:collinear4
 CORGB lemma:collinearorder
 CORGQ lemma:collinearorder
 NERG  lemma:betweennotequal
 COGBQ lemma:collinear4
 COGBR lemma:collinearorder
 NEBG  lemma:betweennotequal
 NEGB  lemma:inequalitysymmetric
 COBQR lemma:collinear4
 CORBQ lemma:collinearorder
 NCRBQ
NCGQR reductio
ANBEQGD+EEGDQG postulate:extension
BEQGD
EEGDQG
BEDGQ  axiom:betweennesssymmetry
CODQR  assumption
 COQDG defn:collinear
 CODQG  lemma:collinearorder
 NEDQ  lemma:betweennotequal
 COQRG  lemma:collinear4
 COGQR  lemma:collinearorder
 NCGQR
NCDQR reductio
ANBEDFP+BERFG  postulate:Pasch-inner
BEDFP
BERFG
CORFG  defn:collinear
COABS
COABG
COABR
COBSG  lemma:collinear4
COBSR  lemma:collinear4
COGSF  assumption
BEPSC
BEPFD  axiom:betweennesssymmetry
COSGF  lemma:collinearorder
NCPCG   assumption
BEPSC
BESFG  axiom:betweennesssymmetry
ANBEGLC+BEPFL  postulate:Pasch-outer

foo


OSQABC  defn:oppositeside