Fri Jan 28 19:45:40 UTC 2005 mantoniotti
* Minor changes to text. Fixed `download.html' link.
diff -rN -u old-cl-unification-1/docs/html/index.html new-cl-unification-1/docs/html/index.html
--- old-cl-unification-1/docs/html/index.html 2013-07-21 19:56:31.000000000 +0000
+++ new-cl-unification-1/docs/html/index.html 2013-07-21 19:56:31.000000000 +0000
@@ -34,6 +34,7 @@
<h1>Common Lisp Extensions: UNIFICATION</h1>
+ <hr>
<em>
<p>
<b>DISCLAIMER:</b> The code associated to these documents is not
@@ -49,6 +50,7 @@
disclaimer you can think of.
</p>
</em>
+ <hr>
<p>The notion of <em>unification</em> originated in the field of
formal logic (e.g. <a href="#R65">[R65]</a>,) and has been used