src/HOLCF/Cfun.thy
changeset 35794 8cd7134275cc
parent 35641 a17bc4cec23a
child 35914 91a7311177c4
     1.1 --- a/src/HOLCF/Cfun.thy	Sun Mar 14 19:47:13 2010 -0700
     1.2 +++ b/src/HOLCF/Cfun.thy	Sun Mar 14 19:48:33 2010 -0700
     1.3 @@ -1,7 +1,6 @@
     1.4  (*  Title:      HOLCF/Cfun.thy
     1.5      Author:     Franz Regensburger
     1.6 -
     1.7 -Definition of the type ->  of continuous functions.
     1.8 +    Author:     Brian Huffman
     1.9  *)
    1.10  
    1.11  header {* The type of continuous functions *}