src/HOLCF/fix.ML
1994-03-24 nipkow 1994-03-24 removed inconsistency with new HOL version
1994-03-24 nipkow 1994-03-24 Franz fragen
1994-02-16 nipkow 1994-02-16 minor update because HOL-lemma changed
1994-01-19 nipkow 1994-01-19 Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF in HOL.