Sindbad~EG File Manager
Current Path :
/
usr
/
home
/
beeson
/
Otter-Lambda
/
yyy
/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/pdomain.h
MEXPORT_PROVER int punctured_domain(term t);
Sindbad File Manager Version
1.0
, Coded By
Sindbad EG ~ The Terrorists