Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv30753

Modified Files: unification.system Log Message: Added file 'apply-substitition.lisp' with a few new functions that are a start for the variable substitition operation.

New fixes to the MATCH and MATCH-CASE macros. They should now work as advertised.

Minor changes to other files: added exports to package file, fixed .system and .asd files.

--- /project/cl-unification/cvsroot/cl-unification/unification.system 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/unification.system 2007/05/21 12:29:24 1.2 @@ -7,6 +7,7 @@ "lambda-list-parsing" "templates-hierarchy" "unifier" - "match-block")) + "match-block" + "apply-substitution"))

;;; end of file -- unification.system --