src/HOL/HOLCF/Fixrec.thy
2010-11-28 huffman 2010-11-28 change match_bottom_simps to produce if-then-else, making more uses of bottom-patterns work with fixrec
2010-11-27 huffman 2010-11-27 moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile;