--- a/src/Sequents/README.html Thu Aug 27 11:19:35 1998 +0200
+++ b/src/Sequents/README.html Thu Aug 27 11:50:18 1998 +0200
@@ -41,5 +41,5 @@
Linear Logic in Isabelle (in TR 379, University of Cambridge
Computer Lab, 1995, ed L. Paulson)
</UL>
-</UL>
+
</BODY></HTML>