[opentheory-users] old link on homepage

[Ramana Kumar]

The "RW" link for HOL4 on http://www.gilith.com/research/opentheory/ points
to the old repository of HOL4 sources.

It should (now) point at the new repository, which has currently maintained
code, here: https://github.com/mn200/HOL/tree/master/src/opentheory.
(OpenTheory support is no longer in a separate branch of HOL4 but rather in
the main ("master") branch.)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20120819/9aa42b71/attachment.htm>