Careful readers of the official history http://isabelle.in.tum.de/repos/ might already have noticed that there is nothing about HOL before 1995. The missing parts are now available from http://isabelle.in.tum.de/repos/Old_HOL/
(Despite the seemingly tiny HOL library at that time, it was already quite
bulky and taking rather long to build.)
Makarius
