thys/Abacus_Defs.thy
2013-02-26 Christian Urban added an al
less more (0) tip