# HG changeset patch
# User wenzelm
# Date 939392331 -7200
# Node ID 6a102f74ad0a6831abaf2694e7190a5a01e53eea
# Parent  991d6c09930ef084dcd62e5d1d42cd0d03135e12
tuned;

diff -r 991d6c09930e -r 6a102f74ad0a lib/logo/index.html
--- a/lib/logo/index.html	Fri Oct 08 16:17:59 1999 +0200
+++ b/lib/logo/index.html	Fri Oct 08 16:18:51 1999 +0200
@@ -36,18 +36,18 @@
 The markings on the cubes illustrate this general principle by example
 of the core meta-logic (which is minimal higher-order logic on top of
 naively polymorphic simply typed lambda calculus). Thus red cubes
-symbolize the type system with function spaces (->) and type variables
-(alpha); violet ones represent the lambda term language with beta
-conversion etc.; yellow cubes constitute the actual logical parts,
-namely meta-implication or entailment (|-) and meta-level universal
-quantification.
+symbolize the type system with function spaces (->) and type
+variables (alpha); violet ones represent the lambda term language with
+beta conversion etc.; yellow cubes constitute the actual logical
+parts, namely meta-implication or entailment (|-) and meta-level
+universal quantification.
 
 
 <h2>Acknowledgment</h2>
 
 The logo is contributed by <a
 href="http://www.informatik.tu-muenchen.de/~wenzel/">Franziska
-Wenzel</a>, Munich.  It has been designed on Apple Macintosh. <p>
+Wenzel</a>, Munich.  It has been designed on Apple Macintosh.
 
 
 <p><hr><p>
@@ -65,7 +65,7 @@
 (HOL)]"></a> <p>
 
 <a name="HOLCF"><img src="isabelle_holcf.gif" alt="[Isabelle logo
-(HOLCF)]"></a> <p>
+(HOLCF)]"></a>
 
 </body>
 </html>