src/HOL/HOLCF/Sfun.thy
changeset 58880 0baae4311a9f
parent 49759 ecf1d5d87e5e
child 61998 b66d2ca1f907
equal deleted inserted replaced
58879:143c85e3cdb5 58880:0baae4311a9f
     1 (*  Title:      HOL/HOLCF/Sfun.thy
     1 (*  Title:      HOL/HOLCF/Sfun.thy
     2     Author:     Brian Huffman
     2     Author:     Brian Huffman
     3 *)
     3 *)
     4 
     4 
     5 header {* The Strict Function Type *}
     5 section {* The Strict Function Type *}
     6 
     6 
     7 theory Sfun
     7 theory Sfun
     8 imports Cfun
     8 imports Cfun
     9 begin
     9 begin
    10 
    10