src/HOLCF/Fun3.ML
1996-01-30 clasohm 1996-01-30 expanded tabs
1994-01-19 nipkow 1994-01-19 Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF in HOL.