src/Pure/sign.ML
changeset 14990 582b655da757
parent 14987 699239c7632c
child 14993 802f3732a54e