src/HOL/Tools/arith_data.ML
changeset 30190 479806475f3c
parent 29302 eb782d1dc07c
child 30496 7cdcc9dd95cb