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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
