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.
removed David's private version (i.e. restored version 1.1)
authorclasohm
Wed, 24 Apr 1996 11:20:57 +0200
changeset 1680 d0d607937aa0
parent 1679 6a82e122b337
child 1681 d9aaae4ff6c3
removed David's private version (i.e. restored version 1.1)
index.html file | annotate | diff | comparison | revisions 
--- a/index.html	Tue Apr 23 17:34:05 1996 +0200
+++ b/index.html	Wed Apr 24 11:20:57 1996 +0200
@@ -1,8 +1,6 @@
 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
 <H2>Isabelle Logics</H2>
 Click on the logic's name to view a list of its theories.
-
-<!--
 <HR>
 First-Order Logic
 <UL>
@@ -11,17 +9,12 @@
 <LI><A HREF = "CCL/index.html">CCL</A>
 <LI><A HREF = "LCF/index.html">LCF</A>
 </UL>
--->
-
 <HR>
 Higher-Order Logic
 <UL>
 <LI><A HREF = "HOL/index.html">HOL</A>
 <LI><A HREF = "HOLCF/index.html">HOLCF</A>
-<LI><A HREF = "FOCUS/index.html">FOCUS</A>
 </UL>
-
-<!--
 <HR>
 Sequent Calculus
 <UL>
@@ -35,8 +28,5 @@
 <LI><A HREF = "Cube/index.html">Cube</A>
 <LI><A HREF = "FOLP/index.html">FOLP</A>
 </UL>
--->
-
 <HR>
 </BODY></HTML>
-
isabelle