src/HOL/Hoare/Arith2.thy
changeset 19497 630073ef9212
parent 17278 f27456a2a975
child 19802 c2860c37e574
equal deleted inserted replaced
19496:79dbe35c6cba 19497:630073ef9212