Tests/abacus.thy
changeset 243 ac32cc069e30
parent 230 49dcc0b9b0b3