src/Pure/meta_simplifier.ML
changeset 22904 de2d630e1548
parent 22902 ac833b4bb7ee
child 23178 07ba6b58b3d2