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-24 17:39:34.000000000 +0000
+++ new-cl-unification-1/docs/html/index.html	2013-07-24 17:39:34.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