Sindbad~EG File Manager

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

BEapc
BEbpd
NCabc
NCacb    lemma:NCorder
COacd    assumption
 CObpd    defn:collinear
 COapc    defn:collinear
 COacp    lemma:collinearorder
 NEac     lemma:betweennotequal
 COcdp    lemma:collinear4
 COdpc   lemma:collinearorder
 COdpb   lemma:collinearorder
 NEpd    lemma:betweennotequal
 NEdp    lemma:inequalitysymmetric
 COpcb   lemma:collinear4
 COapc    defn:collinear
 COpca    lemma:collinearorder
 NEpc     lemma:betweennotequal
 COcba    lemma:collinear4
 COabc    lemma:collinearorder
NCacd     reductio 
TRacd     defn:triangle
TRacb     defn:triangle
TCacdacd  lemma:TCreflexive 
TCacbacb  lemma:TCreflexive
ETacdacd  axiom:congruentequal
ETacbacb  axiom:congruentequal
COacp     defn:collinear
NCacb     lemma:NCorder
OSbacd   defn:oppositeside
EFabcdabcd axiom:paste3

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