Wed Apr 15 10:10:25 UTC 2009  mantoniotti
  * Added exports of a few symbols.
diff -rN -u old-cl-unification-1/unification-package.lisp new-cl-unification-1/unification-package.lisp
--- old-cl-unification-1/unification-package.lisp	2013-07-24 17:42:14.000000000 +0000
+++ new-cl-unification-1/unification-package.lisp	2013-07-24 17:42:14.000000000 +0000
@@ -3,6 +3,7 @@
 (defpackage "CL.EXT.DACF.UNIFICATION" (:use "CL")
   (:nicknames "UNIFY")
   (:documentation "The CL.EXT.DACF.UNIFICATION Package.
+
 This package contains all the definitions necessary for the general
 Common Lisp unifier to work.
 The package also has the \"UNIFY\" nickname.")
@@ -31,7 +32,14 @@
 
   (:export
    "MATCH"
+   "MATCHF"
    "MATCHING"
-   "MATCH-CASE"))
+   "MATCH-CASE")
+
+  (:export
+   "UNIFY*"
+   "UNIFY-EQUATIONS"
+   "UNIFY-EQUATIONS*")
+  )
 
 ;;; end of file -- unification-package.lisp --