thys/Abacus.thy
2013-02-11 Christian Urban took out all deadcode from abacus
less more (0) tip