# HG changeset patch # User wenzelm # Date 876220673 -7200 # Node ID 5a74678c8645f7f5bfc5afc3a4cdf983ce93930e # Parent d00f6460ac4d63c0b361266acadd105220786a38 tuned; diff -r d00f6460ac4d -r 5a74678c8645 lib/logo/index.html --- a/lib/logo/index.html Tue Oct 07 12:29:34 1997 +0200 +++ b/lib/logo/index.html Tue Oct 07 12:37:53 1997 +0200 @@ -21,16 +21,16 @@
The markings on the cubes illustrate this general principle by example -of the core meta-logic (which is naively polymorphic simply typed -lambda calculus with minimal higher-order logic). Thus red cubes +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, @@ -46,19 +46,19 @@
+alt="[Isabelle logo (transparent)]">