src/HOL/NatArith.thy
changeset 10519 ade64af4c57c
parent 10214 77349ed89f45
child 10599 2df753cf86e9
equal deleted inserted replaced
10518:20d4899f5d48 10519:ade64af4c57c