Tests/abacus.thy
changeset 272 42f2c28d1ce6
parent 230 49dcc0b9b0b3