src/Pure/sign.ML
changeset 29605 f2924219125e
parent 29581 b3b33e0298eb
child 29606 fedb8be05f24