src/HOLCF/sprod2.thy
1994-01-19 nipkow Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF
less more (0) tip