Lines Matching defs:more
13 implementation produces a much more streamlined proof, but still has a
26 the so called ``even more efficient implementation'' is actually
288 are visited and the amount of repetition that is done. For more
386 converts the conclusion of a goal using $c$. For more details see \DESCRIPTION.
438 \section{A more efficient implementation}
488 repeated pattern matching done during rewriting. A much more efficient
491 original one. An even more efficient approach, which is not explored
590 \noindent \ml{CONJ\_CANON\_CONV2} is more than an order of magnitude faster
618 \section{An even more efficient implementation}\label{bogus-optimization}
1289 Although the optimized implementation is much more efficient, it uses