src/Pure/meta_simplifier.ML
changeset 32843 c8f5a7c8353f
parent 32797 2e8fae2d998c
child 33029 2fefe039edf1
child 33037 b22e44496dc2