src/HOL/arith_data.ML
changeset 24728 e2b3a1065676
parent 24095 785c3cd7fcb5
child 25484 4c98517601ce