src/HOLCF/Cprod2.ML
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-10-04 clasohm 1995-10-04 added local simpsets
1995-06-29 regensbu 1995-06-29 The curried version of HOLCF is now just called HOLCF. The old uncurried version is no longer supported
1995-02-15 regensbu 1995-02-15 replaced pair_ss by prod_ss
1995-02-07 clasohm 1995-02-07 added qed, qed_goal[w]
1994-01-19 nipkow 1994-01-19 Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF in HOL.