src/Pure/pure.ML
changeset 6930 4b40fb299f9f
parent 6888 d0c68ebdabc5
child 7718 86755cc5b83c