Tue, 03 Aug 2010 16:57:45 +0200 | wenzelm | renamed funny Library ROOT files back to default ROOT.ML -- ML files are no longer located via implicit load path (cf. 2b9bfa0b44f1); | file | diff | annotate | base |
Mon, 24 May 2010 12:10:24 -0700 | huffman | move Strict_Fun and Stream theories to new HOLCF/Library directory; add HOLCF/Library to search path | file | diff | annotate |