[isabelle-dev] Isabelle/HOL --- the missing history

[Makarius]

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