Tests/abacus.thy
changeset 225 0974c59e7029
parent 224 68324a8566c1
child 230 49dcc0b9b0b3