src/Pure/more_thm.ML
changeset 70533 031620901fcd
parent 70464 2d6a489adb01
child 70586 57df8a85317a