\indexentry{SYM@\idxname{\ptt }{SYM}}{2}
\indexentry{new_proof_file@\idxname{\ptt }{new_proof_file}}{4}
\indexentry{current_proof_file@\idxname{\ptt }{current_proof_file}}{4}
\indexentry{prove_thm@\idxname{\ptt }{prove_thm}}{4}
\indexentry{TAC_PROOF@\idxname{\ptt }{TAC_PROOF}}{4}
\indexentry{PROVE@\idxname{\ptt }{PROVE}}{4}
\indexentry{prove@\idxname{\ptt }{prove}}{4}
\indexentry{prove_thm@\idxname{\ptt }{prove_thm}}{4}
\indexentry{close_proof_file@\idxname{\ptt }{close_proof_file}}{4}
\indexentry{new_proof_file@\idxname{\ptt }{new_proof_file}}{4}
\indexentry{begin_proof@\idxname{\ptt }{begin_proof}}{4}
\indexentry{end_proof@\idxname{\ptt }{end_proof}}{4}
\indexentry{begin_proof@\idxname{\ptt }{begin_proof}}{5}
\indexentry{end_proof@\idxname{\ptt }{end_proof}}{5}
\indexentry{begin_proof@\idxname{\ptt }{begin_proof}}{5}
\indexentry{current_proof@\idxname{\ptt }{current_proof}}{5}
\indexentry{record_proof@\idxname{\ptt }{record_proof}}{6}
\indexentry{is_recording_proof@\idxname{\ptt }{is_recording_proof}}{6}
\indexentry{get_steps@\idxname{\ptt }{get_steps}}{6}
\indexentry{suspend_recording@\idxname{\ptt }{suspend_recording}}{6}
\indexentry{resume_recording@\idxname{\ptt }{resume_recording}}{6}
\indexentry{resume_recording@\idxname{\ptt }{resume_recording}}{6}
\indexentry{MakeProof@\idxname{\ptt }{MakeProof}}{6}
\indexentry{write_proof_to@\idxname{\ptt }{write_proof_to}}{6}
\indexentry{write_proof_add_to@\idxname{\ptt }{write_proof_add_to}}{7}
\indexentry{write_proof_to@\idxname{\ptt }{write_proof_to}}{7}
\indexentry{write_env@\idxname{\ptt }{write_env}}{7}
\indexentry{write_line@\idxname{\ptt }{write_line}}{7}
\indexentry{write_thm_list@\idxname{\ptt }{write_thm_list}}{7}
