src/HOLCF/ex/Strict_Fun.thy
2010-03-02 wenzelm 2010-03-02 proper (type_)notation;
2010-02-17 huffman 2010-02-17 add theory HOLCF/ex/Strict_Fun.thy