The snow watching lantern shown below is in my garden at home. A photo of it was used on the cover of the documentation for the (now obsolete) HOL88 system produced by the (now non-existent) Cambridge branch of SRI International. The currently supported descendant of HOL88 is HOL4, which is an open source project hosted at SourceForge managed by Konrad Slind (in the USA) and Michael Norrish (in Australia).


Click here to see the participants of the first HOL users meeting.