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 --