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

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

--- old-cl-unification/apply-substitution.lisp 2014-09-11 07:30:41.000000000 +0000

+++ new-cl-unification/apply-substitution.lisp 2014-09-11 07:30:41.000000000 +0000

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