(MILAWA::%TACTIC.SKIP-ALL-TAC-WRAPPER)
(MILAWA::%TACTIC.SKIP-FIRST-TAC-WRAPPER)
(MILAWA::%TACTIC.CLEANUP-TAC-WRAPPER)
(MILAWA::TACTIC.SIMPLE-WORLD-CHANGE-WRAPPER)
(MILAWA::TACTIC.SIMPLE-CHANGE-WORLD-TAC-WRAPPER)
(MILAWA::%SIMPLE-WORLD-CHANGE-FN)
(MILAWA::%TACTIC.SPLIT-FIRST-TAC-WRAPPER)
(MILAWA::%TACTIC.SPLIT-ALL-TAC-WRAPPER)
(MILAWA::%TACTIC.GENERALIZE-FIRST-TAC-WRAPPER)
(MILAWA::%TACTIC.GENERALIZE-ALL-TAC-WRAPPER)
(MILAWA::%TACTIC.CONDITIONAL-EQSUBST-TAC-WRAPPER)
(MILAWA::%TACTIC.CONDITIONAL-EQSUBST-ALL-TAC-WRAPPER)
(MILAWA::%TACTIC.ELIM-FIRST-TAC-WRAPPER)
(MILAWA::%TACTIC.ELIM-ALL-TAC-WRAPPER)
(MILAWA::TACTIC.HARNESS->CREATE-NAMES)
(MILAWA::TACTIC.HARNESS->INFER-PREFERRED-NAMES)
(MILAWA::TACTIC.HARNESS->CREATE-ELIM-NAMES)
(MILAWA::%TACTIC.HARNESS->CREATE-ELIM-NAMES-WRAPPER)
(MILAWA::%TACTIC.DISTRIBUTE-ALL-TAC-WRAPPER)
(MILAWA::%TACTIC.FERTILIZE-TAC-WRAPPER)
(MILAWA::%TACTIC.USE-TAC-WRAPPER)
(MILAWA::%INSTANCE-FN)
(MILAWA::TACTIC.INDUCT-CASEP)
(MILAWA::TACTIC.INDUCT-CASE-LISTP)
(MILAWA::%TACTIC.INDUCT-TAC-WRAPPER)
