src/HOLCF/cont_consts.ML
1998-08-12 slotosch 1998-08-12 eliminated fabs,fapp. changed all theorem names and functions into Rep_CFun, Abs_CFun
1997-11-04 wenzelm 1997-11-04 HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML;