src/HOL/Lazy_Sequence.thy
changeset 50999 3de230ed0547
parent 50055 94041d602ecb
child 51126 df86080de4cb