Sat Apr 2 04:05:18 UTC 2011 mantoniotti@common-lisp.net

* Minor changes (added COPYING information and other minutiae).

--- old-cl-unification/unification-package.lisp 2014-09-11 07:30:43.000000000 +0000

+++ new-cl-unification/unification-package.lisp 2014-09-11 07:30:43.000000000 +0000

@@ -3,8 +3,8 @@

;;;; unification-package.lisp --

;;;; Package definition for the CL-UNIFICATION library.

;;;;

-;;;; Copyright (c) 2004-2009 Marco Antoniotti

-;;;; See file COPYING for licensing information.

+;;;; Copyright (c) 2004-2011 Marco Antoniotti

+;;;; See file COPYING for copyright licensing information.

(defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL")