(MILAWA::DD.TERM-PATTERNP)
(MILAWA::DD.FORMULA-PATTERNP)
(MILAWA::DD.FORMULA-PATTERN-LISTP)
(MILAWA::DD.SIGMA-PATTERNP)
(MILAWA::DD.TERM-PATTERN-STRUCTURE-TESTS)
(MILAWA::DD.FORMULA-PATTERN-STRUCTURE-TESTS)
(MILAWA::DD.TERM-PATTERN-PATH-BINDINGS)
(MILAWA::DD.FORMULA-PATTERN-PATH-BINDINGS)
(MILAWA::DD.PATH-BINDINGS-TO-EQUALITIES)
(MILAWA::DD.TERM-FROM-PATH-BINDINGS)
(MILAWA::DD.FORMULA-FROM-PATH-BINDINGS)
(MILAWA::DD.FORMULA-FROM-PATH-BINDINGS-LIST)
(MILAWA::DD.SIGMA-FROM-PATH-BINDINGS)
(MILAWA::DD.MULTI-PATTERNSP)
(MILAWA::DD.MULTI-PATTERNS-STRUCTURE-TESTS)
(MILAWA::DD.MULTI-PATTERNS-PATH-BINDINGS)
(MILAWA::DD.DERIV-LINEP)
(MILAWA::DD.DERIV-LINESP)
(MILAWA::DD.DERIV-ASSIGN-NAMES)
(MILAWA::DD.DERIV-LINK-SUBST)
(MILAWA::DD.DERIV-LINK-RELATIVE)
(MILAWA::DD.DERIV-LETIFY1)
(MILAWA::DD.DERIV-LETIFY)
(MILAWA::DD.CONTEXT-GATHER)
(MILAWA::DD.CONTEXT-REPLACE)
(MILAWA::DD.DERIV-LETIFY-ALL)
(MILAWA::DD.CONTEXT-FN)
(MILAWA::DD.GET-BUILDER-AXIOMS)
(MILAWA::DD.GET-BUILDER-THEOREMS)
(MILAWA::DD.DERIV-LOCAL-AXIOMS)
(MILAWA::DD.DERIV-INHERITED-AXIOMS)
(MILAWA::DD.DERIV-LOCAL-THEOREMS)
(MILAWA::DD.DERIV-INHERITED-THEOREMS)
(MILAWA::DD.MAKE-MEMBERS)
(MILAWA::DD.MANUAL-INHERITED-AXIOMS)
(MILAWA::DD.MANUAL-INHERITED-THEOREMS)
(MILAWA::DD.REPLACE-OBLIGATIONS)
