Hi,

I'm trying to build a programme on the top of proof power with the pp 
interface. I need a full polyML library from the pp interface, but I can't use 
some functions which are defined in polyML, e.g List.exists. Any suggestion ? 

Thanks in advance.

best,
Yuhui
-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.


_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to