Tests/abacus.thy
2013-03-27 Christian Urban adapted paper
2013-03-14 Christian Urban tuned
2013-03-14 Christian Urban added a stimes_ac lemma for Xingyuan
less more (0) tip