next up previous contents
Next: Lemma cache Up: Reference - Search methods Previous: Reference - Search methods   Contents


Backtracking and Lemmas



Subsections

John Franco 2011-09-15