src/Pure/sign.ML
changeset 2661 366190b74832
parent 2586 c7a0c0618ca0
child 2672 85d7e800d754