Mon May 21 12:29:24 UTC 2007  mantoniotti
  * Added file 'apply-substitition.lisp' with a few new functions that are
  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.
  
diff -rN -u old-cl-unification-1/unification.system new-cl-unification-1/unification.system
--- old-cl-unification-1/unification.system	2013-07-24 17:40:48.000000000 +0000
+++ new-cl-unification-1/unification.system	2013-07-24 17:40:48.000000000 +0000
@@ -7,6 +7,7 @@
                "lambda-list-parsing"
                "templates-hierarchy"
                "unifier"
-               "match-block"))
+               "match-block"
+               "apply-substitution"))
    
 ;;; end of file -- unification.system --