src/HOL/Lazy_Sequence.thy
changeset 35115 446c5063e4fd
parent 34957 3b1957113753
child 36020 3ee4c29ead7f