src/HOL/Hoare/Arith2.thy
changeset 25247 7bacd1798fc4
parent 19802 c2860c37e574
child 30042 31039ee583fa