src/Pure/more_thm.ML
changeset 48674 03e88e4619a2
parent 46861 152e8ca3264e
child 49010 72808e956879
equal deleted inserted replaced
48673:b2b09970c571 48674:03e88e4619a2