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