src/Pure/simplifier.ML
changeset 54643 57aefb80b639
parent 53171 a5e54d4d9081
child 54388 8b165615ffe3
equal deleted inserted replaced
54642:bf2519f2bd01 54643:57aefb80b639