src/HOLCF/ex/Strict_Fun.thy
2010-02-17 huffman 2010-02-17 add theory HOLCF/ex/Strict_Fun.thy