Sindbad~EG File Manager
Current Path :
/
usr
/
home
/
beeson
/
Otter-Lambda
/
yyy
/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/elim.h
MEXPORT_PROVER int eliminate(term t, term x, term a, term b, term *ans); term lnegate(term);
Sindbad File Manager Version
1.0
, Coded By
Sindbad EG ~ The Terrorists