src/HOL/HOLCF/Library/HOLCF_Library.thy
Sat, 11 Dec 2010 21:27:53 -0800 huffman add HOLCF library theories with cpo/predomain instances for HOL types
Sat, 27 Nov 2010 16:08:10 -0800 huffman moved directory src/HOLCF to src/HOL/HOLCF;
less more (0) tip