src/HOL/Lazy_Sequence.thy
changeset 69283 39044da8bb5a
parent 60758 d8d85a8172b5
equal deleted inserted replaced
69282:94fa3376ba33 69283:39044da8bb5a