src/Pure/sign.ML
changeset 45323 df7554ebe024
parent 43794 49cbbe2768a8
child 45427 fca432074fb2