changeset 74676 | d37b204e1f89 |
parent 74670 | b2604cd4d131 |
child 75992 | 1f6d79b62222 |
--- a/lib/html/library_index_content.template Wed Nov 03 20:45:02 2021 +0100 +++ b/lib/html/library_index_content.template Wed Nov 03 20:53:52 2021 +0100 @@ -5,7 +5,7 @@ <ul> <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a> is a version of classical higher-order logic resembling - that of the <a href="http://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>. + that of the <a href="https://www.cl.cam.ac.uk/Research/HVG/HOL/">HOL System</a>. </li> </ul> </li>