src/HOL/Hoare/Arith2.thy
changeset 47220 52426c62b5d0
parent 44890 22f665a2e91c
child 57442 2373b4c61111