Tests/abacus-2.thy
2013-03-29 Christian Urban updated according to comments from reviewers
less more (0) tip