src/HOL/HOLCF/Tools/fixrec.ML
2011-04-16 wenzelm 2011-04-16 modernized structure Proof_Context;
2011-03-29 wenzelm 2011-03-29 tuned headers;
2010-12-19 huffman 2010-12-19 switch to transparent ascription, to avoid warning messages
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;