[Hol-info] HOL Light on Google Code

[John H. <Joh...@cl...>]

I'm pleased to announce that HOL Light is now hosted on Google Code:

  http://code.google.com/p/hol-light/

You can get up-to-the minute sources from this repository using
subversion, e.g.

  svn checkout http://hol-light.googlecode.com/svn/trunk/ hol_light

or just browse the code online.

John.