(* Title: HOL/Library/Stream.thy Author: Dmitriy Traytel, TU Muenchen Author: Andrei Popescu, TU Muenchen Copyright 2012, 2013 Infinite streams. *) section ‹Infinite Streams› theory Stream imports Nat_Bijection begin