src/HOL/Library/Stream.thy
changeset 67951 655aa11359dc
parent 67613 ce654b0e6d69
child 68260 61188c781cdd