src/HOL/Tools/numeral.ML
changeset 37744 3daaf23b9ab4
parent 34944 970e1466028d
child 37881 096c8397c989
equal deleted inserted replaced
37743:0a3fa8fbcdc5 37744:3daaf23b9ab4