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

Makarius makarius at sketis.net
Thu Jul 23 17:20:31 CEST 2009

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

(Despite the seemingly tiny HOL library at that time, it was already quite 
bulky and taking rather long to build.)


More information about the isabelle-dev mailing list