src/Sequents/README.html
changeset 5383 74c2da44d144
parent 3279 815ef5848324
child 15283 f21466450330
     1.1 --- a/src/Sequents/README.html	Thu Aug 27 11:19:35 1998 +0200
     1.2 +++ b/src/Sequents/README.html	Thu Aug 27 11:50:18 1998 +0200
     1.3 @@ -41,5 +41,5 @@
     1.4      Linear Logic in Isabelle (in TR 379, University of Cambridge
     1.5  				Computer Lab, 1995, ed L. Paulson)
     1.6  </UL>
     1.7 -</UL>
     1.8 +
     1.9  </BODY></HTML>