src/HOLCF/Pcpo.ML
1994-06-29 clasohm 1994-06-29 added parentheses made necessary by change of constrain's precedence
1994-01-19 nipkow 1994-01-19 Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF in HOL.