Tests/abacus.thy
changeset 297 bee184c83071
parent 230 49dcc0b9b0b3