src/Pure/sequence.ML
changeset 1194 563ecd14c1d8
parent 720 e6cf828a0c67
child 1458 fd510875fb71