| Sat, 15 Jan 2011 18:49:42 +0100 | wenzelm | link HOL-Proofs/index.html, which is not reachable from regular HOL/index.html; | file | diff | annotate |
| Sat, 15 Jan 2011 00:14:17 +0100 | wenzelm | treat HOLCF as HOL library session, not as "logic"; | file | diff | annotate |
| Sat, 27 Nov 2010 17:29:21 -0800 | huffman | update web description of HOLCF; | file | diff | annotate |
| Mon, 22 Sep 2008 08:00:23 +0200 | haftmann | added some fragments from website | file | diff | annotate |
| Tue, 30 Oct 2007 10:51:35 +0100 | haftmann | split library index into templates | file | diff | annotate |