\indexentry{associate_restriction@\ml{associate\_restriction}}{2}
\indexentry{COND\_REWRITE1\_CONV@{\ptt COND\_REWRITE1\_CONV}}{11}
\indexentry{COND\_REWRITE1\_TAC@{\ptt COND\_REWRITE1\_TAC}}{12}
\indexentry{COND\_REWR\_CANON@{\ptt COND\_REWR\_CANON}}{14}
\indexentry{COND\_REWR\_CONV@{\ptt COND\_REWR\_CONV}}{15}
\indexentry{COND\_REWR\_TAC@{\ptt COND\_REWR\_TAC}}{17}
\indexentry{dest\_resq\_abstract@{\ptt dest\_resq\_abstract}}{20}
\indexentry{dest\_resq\_exists@{\ptt dest\_resq\_exists}}{21}
\indexentry{dest\_resq\_forall@{\ptt dest\_resq\_forall}}{21}
\indexentry{dest\_resq\_select@{\ptt dest\_resq\_select}}{22}
\indexentry{GQSPECL@{\ptt GQSPECL}}{22}
\indexentry{GQSPEC\_ALL@{\ptt GQSPEC\_ALL}}{23}
\indexentry{IMP\_RESQ\_FORALL\_CONV@{\ptt IMP\_RESQ\_FORALL\_CONV}}{24}
\indexentry{is\_resq\_abstract@{\ptt is\_resq\_abstract}}{24}
\indexentry{is\_resq\_exists@{\ptt is\_resq\_exists}}{25}
\indexentry{is\_resq\_forall@{\ptt is\_resq\_forall}}{25}
\indexentry{is\_resq\_select@{\ptt is\_resq\_select}}{26}
\indexentry{list\_mk\_resq\_exists@{\ptt list\_mk\_resq\_exists}}{26}
\indexentry{list\_mk\_resq\_forall@{\ptt list\_mk\_resq\_forall}}{27}
\indexentry{LIST\_RESQ\_FORALL\_CONV@{\ptt LIST\_RESQ\_FORALL\_CONV}}{27}
\indexentry{mk\_resq\_abstract@{\ptt mk\_resq\_abstract}}{28}
\indexentry{mk\_resq\_exists@{\ptt mk\_resq\_exists}}{28}
\indexentry{mk\_resq\_forall@{\ptt mk\_resq\_forall}}{29}
\indexentry{mk\_resq\_select@{\ptt mk\_resq\_select}}{29}
\indexentry{new\_binder\_resq\_definition@{\ptt new\_binder\_resq\_definition}}{30}
\indexentry{new\_infix\_resq\_definition@{\ptt new\_infix\_resq\_definition}}{31}
\indexentry{new\_resq\_definition@{\ptt new\_resq\_definition}}{33}
\indexentry{RESQ\_EXISTS\_CONV@{\ptt RESQ\_EXISTS\_CONV}}{35}
\indexentry{RESQ\_EXISTS\_TAC@{\ptt RESQ\_EXISTS\_TAC}}{35}
\indexentry{RESQ\_FORALL\_AND\_CONV@{\ptt RESQ\_FORALL\_AND\_CONV}}{36}
\indexentry{RESQ\_FORALL\_CONV@{\ptt RESQ\_FORALL\_CONV}}{36}
\indexentry{RESQ\_FORALL\_SWAP\_CONV@{\ptt RESQ\_FORALL\_SWAP\_CONV}}{37}
\indexentry{RESQ\_GEN@{\ptt RESQ\_GEN}}{37}
\indexentry{RESQ\_GENL@{\ptt RESQ\_GENL}}{38}
\indexentry{RESQ\_GEN\_ALL@{\ptt RESQ\_GEN\_ALL}}{39}
\indexentry{RESQ\_GEN\_TAC@{\ptt RESQ\_GEN\_TAC}}{39}
\indexentry{RESQ\_HALF\_EXISTS@{\ptt RESQ\_HALF\_EXISTS}}{40}
\indexentry{RESQ\_HALF\_GEN\_TAC@{\ptt RESQ\_HALF\_GEN\_TAC}}{40}
\indexentry{RESQ\_HALF\_SPEC@{\ptt RESQ\_HALF\_SPEC}}{41}
\indexentry{RESQ\_IMP\_RES\_TAC@{\ptt RESQ\_IMP\_RES\_TAC}}{42}
\indexentry{RESQ\_IMP\_RES\_THEN@{\ptt RESQ\_IMP\_RES\_THEN}}{42}
\indexentry{RESQ\_MATCH\_MP@{\ptt RESQ\_MATCH\_MP}}{43}
\indexentry{RESQ\_RES\_TAC@{\ptt RESQ\_RES\_TAC}}{44}
\indexentry{RESQ\_RES\_THEN@{\ptt RESQ\_RES\_THEN}}{44}
\indexentry{RESQ\_REWRITE1\_CONV@{\ptt RESQ\_REWRITE1\_CONV}}{45}
\indexentry{RESQ\_REWRITE1\_TAC@{\ptt RESQ\_REWRITE1\_TAC}}{46}
\indexentry{RESQ\_REWR\_CANON@{\ptt RESQ\_REWR\_CANON}}{47}
\indexentry{RESQ\_SPEC@{\ptt RESQ\_SPEC}}{47}
\indexentry{RESQ\_SPECL@{\ptt RESQ\_SPECL}}{48}
\indexentry{RESQ\_SPEC\_ALL@{\ptt RESQ\_SPEC\_ALL}}{49}
\indexentry{search\_top\_down@{\ptt search\_top\_down}}{50}
\indexentry{strip\_resq\_exists@{\ptt strip\_resq\_exists}}{51}
\indexentry{strip\_resq\_forall@{\ptt strip\_resq\_forall}}{51}
\indexentry{DISJ\_RESQ\_EXISTS\_DIST@{\ptt DISJ\_RESQ\_EXISTS\_DIST}}{53}
\indexentry{RESQ\_EXISTS\_DISJ\_DIST@{\ptt RESQ\_EXISTS\_DISJ\_DIST}}{53}
\indexentry{RESQ\_EXISTS\_REORDER@{\ptt RESQ\_EXISTS\_REORDER}}{53}
\indexentry{RESQ\_EXISTS\_UNIQUE@{\ptt RESQ\_EXISTS\_UNIQUE}}{53}
\indexentry{RESQ\_FORALL\_CONJ\_DIST@{\ptt RESQ\_FORALL\_CONJ\_DIST}}{53}
\indexentry{RESQ\_FORALL\_DISJ\_DIST@{\ptt RESQ\_FORALL\_DISJ\_DIST}}{53}
\indexentry{RESQ\_FORALL\_FORALL@{\ptt RESQ\_FORALL\_FORALL}}{53}
\indexentry{RESQ\_FORALL\_REORDER@{\ptt RESQ\_FORALL\_REORDER}}{53}
\indexentry{RESQ\_FORALL\_UNIQUE@{\ptt RESQ\_FORALL\_UNIQUE}}{53}
