src/Pure/sequence.ML
changeset 573 2fa5ef27bd0a
parent 0 a5a9c433f639
child 669 a6dd3796009d