Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added logo
authornipkow
Wed, 29 May 1996 13:53:39 +0200
changeset 1773 5f94ddc07de2
parent 1772 ee2be39126d2
child 1774 bc584c1b8426
Added logo
index.html file | annotate | diff | comparison | revisions 
--- a/index.html	Wed May 29 13:47:43 1996 +0200
+++ b/index.html	Wed May 29 13:53:39 1996 +0200
@@ -1,5 +1,10 @@
 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
-<H2>Isabelle Logics</H2>
+<center>
+<H2>
+<img align=middle src="Tools/Isabelle.gif"> <i>The Logical Choice!</i>
+</H2> 
+</center>
+<P>
 Click on the logic's name to view a list of its theories.
 <HR>
 First-Order Logic
isabelle