src/HOL/Lazy_Sequence.thy
changeset 54257 5c7a3b6b05a9
parent 51143 0a2371e7ced3
child 55413 a8e96847523c