# HG changeset patch
# User clasohm
# Date 830337657 -7200
# Node ID d0d607937aa0ee2cb46899e0635c11fae9ad56a8
# Parent 6a82e122b337382f364c1d25892fb0248587ee12
removed David's private version (i.e. restored version 1.1)
diff -r 6a82e122b337 -r d0d607937aa0 index.html
--- 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 @@
Isabelle Logics
Isabelle Logics
Click on the logic's name to view a list of its theories.
-
-
-
Higher-Order Logic
-
-
-