src/Pure/more_thm.ML
changeset 66787 64b47495676d
parent 66168 fcd09fc36d7f
child 67559 833d154ab189