src/HOL/Divides.ML
changeset 4537 4e835bd9fada
parent 4477 b3e5857d8d99
child 4686 74a12e86b20b