src/Pure/sequence.ML
changeset 3706 e57b5902822f
parent 1501 bb7f99a0a6f0