src/HOL/Tools/semiring_normalizer.ML
changeset 41648 6d736d983d5c
parent 40077 c8a9eaaa2f59
child 44064 5bce8ff0d9ae
equal deleted inserted replaced
41647:5e70526a1947 41648:6d736d983d5c