[ProofPower] ml library functions from pp command line

[Yuhui Lin]

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.