src/HOLCF/holcf_logic.ML
2005-07-14 wenzelm 2005-07-14 removed mk_prodT, mk_not (cf. HOL/hologic.ML); tuned;
2005-06-11 wenzelm 2005-06-11 refer to name spaces values instead of names;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-11-03 wenzelm 2001-11-03 GPLed;
1997-11-04 wenzelm 1997-11-04 HOLCFLogic.ML, contconsts.ML renamed to holcf_logic.ML, cont_consts.ML;