1997-05-25 | slotosch | Eliminated ccc1. Moved ID,oo into Cfun. | file | diff | annotate |
1997-03-26 | nipkow | Added "discrete" CPOs and modified IMP to use those rather than "lift" | file | diff | annotate |
1997-02-17 | slotosch | Changes of HOLCF from Oscar Slotosch: | file | diff | annotate |
1996-12-09 | sandnerr | Theories Lift1, Lift2 and Lift3 inserted below HOLCF.thy | file | diff | annotate |
1996-02-06 | clasohm | expanded tabs | file | diff | annotate |
1995-10-06 | regensbu | added 8bit pragmas | file | diff | annotate |
1994-01-19 | nipkow | Franz Regensburger's Higher-Order Logic of Computable Functions embedding LCF | file | diff | annotate |