next up previous contents
Next: Lemma effectiveness Up: Backtracking and Lemmas Previous: Backtracking and Lemmas   Contents


Lemma cache



John Franco 2011-09-15