src/Pure/raw_simplifier.ML
changeset 62337 d3996d5873dd
parent 61354 1727d7d14d76
child 62876 507c90523113