Sindbad~EG File Manager

Current Path : /home/beeson/public_html/michaelbeeson_old/research/papers/programs/proofs/
Upload File :
Current File : //home/beeson/public_html/michaelbeeson_old/research/papers/programs/proofs/lessthannotequal.prf

LTABCD
ANBECED+EECEAB   defn:lessthan
BECED
EECEAB
NECE   lemma:betweennotequal
NEAB   axiom:nocollapse
NECD  lemma:betweennotequal
ANNEAB+NECD

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