thys2/Abacus.thy
changeset 270 ccec33db31d4
parent 268 002b07ea0a57