src/HOL/HOLCF/FOCUS/Stream_adm.thy
2011-07-19 hoelzl 2011-07-19 Introduce infinity type class
2011-07-19 hoelzl 2011-07-19 rename Nat_Infinity (inat) to Extended_Nat (enat)
2011-03-29 wenzelm 2011-03-29 tuned headers;
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;