src/HOLCF/Cfun2.ML
1996-09-12 oheimb 1996-09-12 added stric tI
1996-05-31 oheimb 1996-05-31 introduced forgotten bind_thm calls
1996-01-30 clasohm 1996-01-30 expanded tabs
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-07 clasohm 1995-02-07 added qed, qed_goal[w]
1994-03-24 nipkow 1994-03-24 Franz fragen
1994-01-19 nipkow 1994-01-19 Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF in HOL.