src/HOL/HOLCF/Tools/holcf_library.ML
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2011-08-12 huffman 2011-08-12 make HOLCF work with separate set type
2011-08-08 huffman 2011-08-08 HOLCF: fix warnings about unreferenced identifiers
2011-03-29 wenzelm 2011-03-29 tuned headers;
2011-01-04 huffman 2011-01-04 renamed constant 'UU' to 'bottom', keeping 'UU' as alternative input syntax; removed redundant lemma UU_least
2010-12-01 wenzelm 2010-12-01 just one Term.dest_funT;
2010-11-30 huffman 2010-11-30 remove gratuitous semicolons from ML code
2010-11-27 huffman 2010-11-27 moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile;