Tests/abacus.thy
changeset 274 6bf48979a72e
parent 230 49dcc0b9b0b3