src/HOL/Divides.thy
changeset 47988 e4b69e10b990
parent 47268 262d96552e50
child 48561 12aa0cb2b447