(GL::COLLECT-FNS)
(GL::CLIQUE-BODIES)
(GL::COLLECT-FNS-FN)
(GL::COLLECT-FN-DEPS-WITH-EXCLUSIONS)
(GL::COLLECT-FN-DEPS)
(GL::GIFY-TERM)
(GL::GIFY-BODY)
(GL::EVAL-THM-BINDINGS)
(GL::FORMALS-GENERAL-CONCRETEP)
(GL::FORMALS-GENERAL-CONCRETE-OBJ)
(GL::GIFY-FACTORED-FNS)
(GL::GIFY-FN-CLIQUE)
(GL::GIFY-FN)
(GL::GIFY-STUB)
(GL::GIFY-FNS-AND-DEPS1)
(GL::GIFY-FNS-AND-DEPS)
(GL::G-FACTORED-FN-NAMES)
(GL::G-CLIQUE-FN-NAMES)
(GL::CLIQUE-FN-NAMES)
(GL::MAKE-EXPAND-LIST)
(GL::EXPAND-CALLS-COMPUTED-HINT)
(GL::GL-FNSYM-LIST)
(GL::MAKE-REDUNDANT-LIST)
(GL::FLAG-FN)
(GL::FLAGIFY-G-FNS-AND-DEPS1)
(GL::FLAGIFY-G-FNS-AND-DEPS)
(GL::FLAGIFY-FNS-AND-DEPS1)
(GL::FLAGIFY-FNS-AND-DEPS)
(GL::G-FACTORED-FNS-VERIFY-GUARDS)
(GL::TYPE-PRESCRIPTIONS-OF-MV-FNS)
(GL::G-GUARDS-FNS-AND-DEPS1)
(GL::G-GUARDS-FNS-AND-DEPS)
(GL::RULESET-FOR-EVAL)
(GL::EVAL-LIST-ENV)
(GL::G-CORRECT-FACTORED-THM-BODIES-REC)
(GL::G-CORRECT-CLIQUE-THM-BODIES)
(GL::FACTORED-FN-CORRECT-THMS)
(GL::G-CORRECT-FACTORED-THMS)
(GL::G-CORRECT-FLAG-LEMMA)
(GL::G-CORRECT-THMNAMES)
(GL::CLIQUE-GL-FUNCTION-INFO-TABLE-EVENTS)
(GL::G-CORRECT-THMS)
(GL::G-CORRECT-FNS-AND-DEPS1)
(GL::G-CORRECT-FNS-AND-DEPS)
(GL::HONS-GET-ANY)
(GL::REMOVE-CLIQUES-IN-AL)
(GL::LAMBDA-FOR-APPLY-STUB-FI)
(GL::SUBST-FNS-TERM)
(GL::EQUAL-F-FNS)
(GL::EVAL-G-FI)
(GL::EVAL-G-PROVE-F-I-FN)
(GL::F-I-THMNAME)
(GL::EVAL-G-FUNCTIONAL-INSTANCE-FN)
(GL::CORRECTNESS-LEMMAS-FOR-NEW-APPLY11)
(GL::CORRECTNESS-LEMMAS-FOR-NEW-APPLY1)
(GL::PAIR-ONTO)
(GL::CORRECTNESS-LEMMAS-FOR-NEW-APPLY)
(GL::GEVAL-THM-NAMES)
(GL::FIND-DEFINITION-NUME)
(GL::FIND-LEMMA-ENTRY)
(GL::CLIQUE-AND-CONTROLLER-ALIST)
(GL::MAKE-UNNORM-PREFERRED-DEFS1)
(GL::MAKE-UNNORM-PREFERRED-DEFS)
(GL::UNION-EQ-LISTS)
(GL::STRIP-NTHCDRS)
(GL::PREV-APPLY-FNS)
(GL::MAKE-G-WORLD-FN)
(GL::MAKE-GEVAL-FN)
