src/Pure/simplifier.ML
changeset 54643 57aefb80b639
parent 53171 a5e54d4d9081
child 54388 8b165615ffe3