2013-02-18 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:33:00 +0000] rev 182
tuned
2013-02-18 removed unnecessary examples from Abacus.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:28:51 +0000] rev 181
removed unnecessary examples from Abacus.thy
2013-02-18 added abacus machines
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:26:27 +0000] rev 180
added abacus machines
(0) -100 -30 -10 -3 +3 +10 +30 +100 tip