src/Pure/sign.ML
changeset 3593 f53de7618ef8
parent 3552 f348e8a2db4b
child 3791 c5db2c87a646