src/HOL/Lazy_Sequence.thy
changeset 38968 e55deaa22fff
parent 38857 97775f3e8722
child 40051 b6acda4d1c29