src/HOL/Lazy_Sequence.thy
changeset 55415 05f5fdb8d093
parent 55413 a8e96847523c
child 55416 dd7992d4a61a