# HG changeset patch # User wenzelm # Date 1363190805 -3600 # Node ID 9cf33e987f0b7ffd2e4955baa29a4a9b58437cb5 # Parent 5313abe76bd447b59065bfb446b706f88425d69f proper index for HOL-Proofs, which is also in chapter "HOL"; diff -r 5313abe76bd4 -r 9cf33e987f0b lib/html/library_index_content.template --- a/lib/html/library_index_content.template Wed Mar 13 16:57:05 2013 +0100 +++ b/lib/html/library_index_content.template Wed Mar 13 17:06:45 2013 +0100 @@ -8,10 +8,6 @@ that of the HOL System. -