src/Pure/sign.ML
changeset 54205 bdb83bc60780
parent 52143 36ffe23b25f8
child 56025 d74fed45fa8b
equal deleted inserted replaced
54204:5151b84d0668 54205:bdb83bc60780