src/HOL/Import/proof_kernel.ML
changeset 20192 956cd30ef3be
parent 19998 c8018518e112
child 20286 4cf8e86a2d29
equal deleted inserted replaced
20191:b43fd26e1aaa 20192:956cd30ef3be