The &quot;RW&quot; link for HOL4 on <a href="http://www.gilith.com/research/opentheory/">http://www.gilith.com/research/opentheory/</a> points to the old repository of HOL4 sources.<br><br>It should (now) point at the new repository, which has currently maintained code, here: <a href="https://github.com/mn200/HOL/tree/master/src/opentheory">https://github.com/mn200/HOL/tree/master/src/opentheory</a>.<br>

(OpenTheory support is no longer in a separate branch of HOL4 but rather in the main (&quot;master&quot;) branch.)<br>