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