doc-src/Intro/arith.thy
changeset 255 ee132db91681
parent 105 216d6ed87399
equal deleted inserted replaced
254:b1fcd27fcac4 255:ee132db91681