src/HOL/Tools/arith_data.ML
changeset 30190 479806475f3c
parent 29302 eb782d1dc07c
child 30496 7cdcc9dd95cb
equal deleted inserted replaced
30189:3633f560f4c3 30190:479806475f3c