src/Pure/simplifier.ML
changeset 82274 c61367ada9bb
parent 80713 43e0f32451ee
child 82642 e478f85fe427