Wed Apr 15 10:10:25 UTC 2009 mantoniotti
* Added exports of a few symbols.
hunk ./unification-package.lisp 6
+
hunk ./unification-package.lisp 35
+ "MATCHF"
hunk ./unification-package.lisp 37
- "MATCH-CASE"))
+ "MATCH-CASE")
+
+ (:export
+ "UNIFY*"
+ "UNIFY-EQUATIONS"
+ "UNIFY-EQUATIONS*")
+ )