src/Pure/simplifier.ML
changeset 33063 4d462963a7db
parent 32786 f1ac4b515af9
child 33092 c859019d3ac5