lib/html/library_index_content.template
Sat, 15 Jan 2011 00:14:17 +0100 wenzelm treat HOLCF as HOL library session, not as "logic";
Sat, 27 Nov 2010 17:29:21 -0800 huffman update web description of HOLCF;
Mon, 22 Sep 2008 08:00:23 +0200 haftmann added some fragments from website
Tue, 30 Oct 2007 10:51:35 +0100 haftmann split library index into templates
less more (0) tip