- fixed typo in axiom addition_def1 (was "i+0 = 0" instead of "i+0=i") - changed result type of abs from {i:Integer | i >= 0} to Nat
- fixed typo in axiom addition_def1 (was "i+0 = 0" instead of "i+0=i")
- changed result type of abs from {i:Integer | i >= 0} to Nat


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@2040 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware