2013-03-13 wenzelm 2013-03-13 proper index for HOL-Proofs, which is also in chapter "HOL";
2011-01-15 wenzelm 2011-01-15 link HOL-Proofs/index.html, which is not reachable from regular HOL/index.html;
2011-01-15 wenzelm 2011-01-15 treat HOLCF as HOL library session, not as "logic";
2010-11-27 huffman 2010-11-27 update web description of HOLCF; fix broken link to HOLCF/index.html
2008-09-22 haftmann 2008-09-22 added some fragments from website
2007-10-30 haftmann 2007-10-30 split library index into templates