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.
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Proofpower mailing list