src/Pure/more_thm.ML
changeset 70299 83774d669b51
parent 70159 57503fe1b0ff
child 70404 9dc99e3153b3