src/Pure/General/seq.ML
changeset 40722 441260986b63
parent 32195 d77476e4040c
child 47060 e2741ec9ae36