src/Pure/General/integer.ML
changeset 60299 5ae2a2e74c93
parent 33029 2fefe039edf1
child 63227 d3ed7f00e818