src/Pure/simplifier.ML
changeset 25456 6f79698f294d
parent 24509 23ee6b7788c2
child 26425 6561665c5cb1
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d