src/Pure/more_thm.ML
changeset 38980 af73cf0dc31f
parent 36744 6e1f3d609a68
child 39133 70d3915c92f0