diff -r dfbe72ddbd2d -r 74c2da44d144 src/Sequents/README.html --- 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) - +