src/HOL/HOLCF/FOCUS/Fstreams.thy
2011-07-19 hoelzl 2011-07-19 rename Nat_Infinity (inat) to Extended_Nat (enat)
2011-03-29 wenzelm 2011-03-29 tuned headers;
2011-02-26 nipkow 2011-02-26 added a few lemmas by Andreas Lochbihler
2011-01-08 huffman 2011-01-08 types -> type_synonym
2011-01-04 huffman 2011-01-04 remove various lemmas redundant with lub_eq_bottom_iff
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-11-27 huffman 2010-11-27 moved directory src/HOLCF to src/HOL/HOLCF; added HOLCF theories to src/HOL/IsaMakefile;