src/HOLCF/Cprod1.thy
1997-05-25 slotosch eliminated the constant less by the introduction of the axclass sq_ord
1997-03-26 slotosch generalized theorems and class instances for Cprod.
1997-02-17 slotosch Changes of HOLCF from Oscar Slotosch:
1996-02-06 clasohm expanded tabs
1995-06-29 regensbu The curried version of HOLCF is now just called HOLCF. The old
1995-06-21 clasohm removed \...\ inside strings
1994-01-19 nipkow Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
less more (0) tip