56 next (I iter)  in next()
164 term_list::insert (iterator iter, tree t)  in insert()
180 term_list::erase (iterator iter)  in erase()
194 term_list::replace (iterator iter, tree t)  in replace()
208 term_list::replace (iterator iter, tree t1, tree t2)  in replace()
371   term_list::iterator iter = ts.begin();  in analyze_pack()  local
506   term_list::iterator iter = g.conclusions.begin ();  in check_goal()  local
533   proof_state::iterator iter = p.begin();  in check_proof()  local
586   term_list::iterator iter = g.assumptions.begin();  in load_assumptions()  local
613   proof_state::iterator iter = p.begin();  in load_assumptions()  local
668   proof_state::iterator iter = p.begin();  in explode_assumptions()  local
697   term_list::iterator iter = g.conclusions.begin();  in load_conclusions()  local
711   proof_state::iterator iter = p.begin();  in load_conclusions()  local