src/HOL/IMP/Abs_Int0.thy
changeset 56916 b00a861d8f16
parent 54944 9a52ee8cae9b
child 57512 cc97b347b301
equal deleted inserted replaced
56915:75ba0e310663 56916:b00a861d8f16