src/HOLCF/cont_consts.ML
2005-07-14 wenzelm 2005-07-14 tuned;
2005-06-30 huffman 2005-06-30 replace filter2 with List.partition
2005-03-03 skalberg 2005-03-03 Move towards standard functions.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-04-29 wenzelm 2004-04-29 HOLCF: discontinued special version of 'constdefs';
2002-02-12 wenzelm 2002-02-12 got rid of explicit marginal comments (now stripped earlier from input);
2002-01-03 wenzelm 2002-01-03 Isar version; support constdefs, too;
2001-11-03 wenzelm 2001-11-03 GPLed;
2001-10-02 wenzelm 2001-10-02 support non-oriented infix;
1998-10-20 wenzelm 1998-10-20 fixed Syntax module;
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;