src/HOL/Integ/IntDiv_setup.ML
changeset 18851 9502ce541f01
parent 17609 5156b731ebc8
child 20044 92cc2f4c7335