diff -r f9f2e1643593 -r 322e2a3335d4 Admin/page/main-layout/navigation.html
--- a/Admin/page/main-layout/navigation.html	Mon Jun 06 14:12:07 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,17 +0,0 @@
-<div style="text-align: center; margin-top: 30px; margin-bottom: 45px">
-<a href="index.html">
-  <img src="isabelle.gif" width="100" height="86" alt="[Isabelle logo]" border="0">
-</a>
-</div>
-<!-- _GP_ setnavcolor("#F0F0F0") -->
-<!-- _GP_ page("Home", "index") -->
-<!-- _GP_ empty_line(3) -->
-<!-- _GP_ page("Overview", "overview") -->
-<!-- _GP_ empty_line(3) -->
-<!-- _GP_ page("Logics", "logics") -->
-<!-- _GP_ empty_line(3) -->
-<!-- _GP_ page("Documentation", "docs") -->
-<!-- _GP_ empty_line(3) -->
-<!-- _GP_ page("Download", "dist/index") -->
-<!-- _GP_ empty_line(3) -->
-&nbsp;