Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv31895 Modified Files: unification-package.lisp Log Message: See previous message. --- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2006/07/19 20:28:49 1.2 +++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2007/05/21 12:33:15 1.3 @@ -14,7 +14,8 @@ "*UNIFY-STRING-CASE-INSENSITIVE-P*" "UNIFY" "FIND-VARIABLE-VALUE" - "MAKE-EMPTY-ENVIRONMENT") + "MAKE-EMPTY-ENVIRONMENT" + "APPLY-SUBSTITUTION") (:export "MATCH" "MATCHING"