diff -r ef7bedc969d3 -r caafd19e790d logic.html
--- a/logic.html	Sat Jun 15 08:07:41 2013 -0400
+++ b/logic.html	Sat Jun 15 09:02:06 2013 -0400
@@ -155,16 +155,16 @@
              List of open problems in term rewriting</A> </DD>
 <DD><A HREF="http://www.cis.upenn.edu/~giorgi/cl.html">Computability Logic Homepage</A> 
 </DL>
-
-
-</TD>
+ 
+ 
+</TD> 
 </TR>
-
+ 
 </TABLE>
-<P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
-<!-- hhmts start -->
-Last modified: Thu Nov  3 01:36:14 GMT 2011
-<!-- hhmts end -->
+<P>
+<!-- hhmts start --> Last modified: Sat Jun 15 09:00:44 EDT 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
+   
+