Searched refs:PCLStepPrintExample (Results 1 – 3 of 3) sorted by relevance
| /dports/math/eprover/eprover-E-2.0/PCL2/ |
| H A D | pcl_steps.h | 133 void PCLStepPrintExample(FILE* out, PCLStep_p step, long id,
|
| H A D | pcl_steps.c | 571 void PCLStepPrintExample(FILE* out, PCLStep_p step, long id, in PCLStepPrintExample() function
|
| H A D | pcl_protocol.c | 754 PCLStepPrintExample(out, step, i, proof_steps, prot->number); in PCLProtPrintExamples()
|