[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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

Modified Files:
	apply-substitution.lisp 
Log Message:
Minor changes (added COPYING information and other minutiae).


--- /project/cl-unification/cvsroot/cl-unification/apply-substitution.lisp	2011/02/24 20:44:12	1.5
+++ /project/cl-unification/cvsroot/cl-unification/apply-substitution.lisp	2011/02/26 09:13:56	1.6
@@ -1,8 +1,10 @@
-;;; -*- Mode: Lisp -*-
+;;;; -*- Mode: Lisp -*-
 
-;;; substitutions.lisp
-;;; General CL structures unifier.
-;;; Substitution definitions.
+;;;; apply-substitutions.lisp --
+;;;; General CL structures unifier.
+;;;; Substitution definitions.
+;;;;
+;;;; See the file COPYING for copyright and licensing information.
 
 (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow.
 
@@ -80,4 +82,4 @@
   (apply-substitution substitution term))
 
 
-;;; end of file -- apply-substitutions.lisp --
+;;;; end of file -- apply-substitutions.lisp --