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


Backtracking and Lemmas


Subsections
Sean Weaver 2007-01-08