src/HOL/Lazy_Sequence.thy
changeset 47988 e4b69e10b990
parent 45214 66ba67adafab
child 50055 94041d602ecb