Thu Jun 16 00:10:47 UTC 2011  mantoniotti@common-lisp.net
  * Added "CL-UNIFICATION" as package nickname to match the .asd and .system specs.
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:30:59.000000000 +0000
+++ new-cl-unification-1/unification-package.lisp	2013-07-24 17:30:59.000000000 +0000
@@ -8,7 +8,7 @@
 
 
 (defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL")
-  (:nicknames  "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify")
+  (:nicknames  "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify" "CL-UNIFICATION")
   (:documentation "The CL.EXT.DACF.UNIFICATION Package.
 
 This package contains all the definitions necessary for the general