src/HOL/Tools/arith_data.ML
changeset 66787 64b47495676d
parent 61841 4d3527b94f2a
child 66812 7163b780549d