Home
last modified time | relevance | path

Searched refs:TermPrintTypes (Results 1 – 3 of 3) sorted by relevance

/dports/math/eprover/eprover-E-2.0/TERMS/
H A Dcte_termfunc.h45 extern bool TermPrintTypes;
H A Dcte_termfunc.c35 bool TermPrintTypes = false; variable
268 if(TermPrintTypes) in TermPrint()
/dports/math/eprover/eprover-E-2.0/PROVER/
H A Deprover.c1572 TermPrintTypes = true; in process_options()