src/HOL/Hoare/Arith2.thy
changeset 66787 64b47495676d
parent 64246 15d1ee6e847b
child 67613 ce654b0e6d69