src/Pure/sign.ML
changeset 28337 93964076e7b8
parent 28111 ea22fd4685fb
child 28792 1d80cee865de
equal deleted inserted replaced
28336:a8edf4c69a79 28337:93964076e7b8