[cl-unification-cvs] CVS cl-unification

[mantoniotti]

Update of /project/cl-unification/cvsroot/cl-unification
In directory cl-net:/tmp/cvs-serv26976

Modified Files:
	unification-package.lisp 
Log Message:
Added exports of a few symbols.


--- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp	2008/07/13 13:10:48	1.4
+++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp	2009/04/15 10:10:25	1.5
@@ -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 --