src/HOL/Lazy_Sequence.thy
changeset 47884 21c42b095c84
parent 45214 66ba67adafab
child 50055 94041d602ecb