src/Pure/meta_simplifier.ML
changeset 12498 3b0091bf06e8
parent 12285 6490fc7b3eed
child 12603 7d2bca103101