(* Title: HOL/Datatype_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. *) section ‹Stream Processors---A Syntactic Representation of Continuous Functions on Streams› theory Stream_Processor imports "HOL-Library.Stream" "HOL-Library.BNF_Axiomatization" begin declare [[typedef_overloaded]] section ‹Continuous Functions on Streams›