src/Pure/more_thm.ML
changeset 54643 57aefb80b639
parent 53206 5d2fe75c6306
child 54984 da70ab8531f4