src/HOL/Tools/simpdata.ML
changeset 82265 4b875a4c83b0
parent 71916 435cdc772110
child 82641 d22294b20573