src/Pure/raw_simplifier.ML
changeset 67003 49850a679c2c
parent 66934 b86513bcf7ac
child 67561 f0b11413f1c9