src/HOL/BNF_Examples/Stream_Processor.thy

 (*  Title:      HOL/BNF_Examples/Stream_Processor.thy
     Author:     Dmitriy Traytel, TU Muenchen
     Author:     Andrei Popescu, TU Muenchen
     Copyright   2014
 
-Stream processors---a syntactic representation of continuous functions on streams
+Stream processors---a syntactic representation of continuous functions on streams.
 *)
 
-header {* Stream Processors *}
+header {* Stream Processors---A Syntactic Representation of Continuous Functions on Streams *}
 
 theory Stream_Processor
 imports Stream "~~/src/HOL/Library/BNF_Axiomatization"
 begin