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

TRABC
AOBCAABC
NCABC   defn:triangle
NCBCA  lemma:NCorder
NCACB  lemma:NCorder
EEACAB  assumption
 EEABAC   lemma:congruencesymmetric
 ISABC    defn:isosceles
 EAABCACB   proposition:05
 EAACBABC   lemma:equalanglessymmetric
 NCBCA
 EABCAACB   lemma:ABCequalsCBA
 EABCAABC   lemma:equalanglestransitive
 AOBCABCA   lemma:angleorderrespectscongruence
 NOAOBCABCA   lemma:angletrichotomy
NOEEACAB  reductio
LTACAB  assumption 
 TRACB   defn:triangle
 AOCBAACB  proposition:18
 EAABCCBA  lemma:ABCequalsCBA
 AOABCACB  lemma:angleorderrespectscongruence2
 EABCAACB  lemma:ABCequalsCBA
 AOABCBCA  lemma:angleorderrespectscongruence
 AOBCAABC 
 NOAOABCBCA  lemma:angletrichotomy
NOLTACAB  reductio
EAABCABC lemma:equalanglesreflexive
NEAB   lemma:angledistinct
NEAC   lemma:angledistinct
NOLTABAC  assumption
 EEABAC    lemma:trichotomy1
 EEACAB    lemma:congruencesymmetric
LTABAC   reductio

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