src/Pure/simplifier.ML
changeset 33037 b22e44496dc2
parent 32786 f1ac4b515af9
child 33092 c859019d3ac5