2013-02-19 added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:31:18 +0000] rev 184
added newer ROOT file
2013-02-18 updated exponent program
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 14:39:50 +0000] rev 183
updated exponent program
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
2013-02-18 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 00:18:56 +0000] rev 179
tuned
2013-02-16 added some TM machines
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 16 Feb 2013 11:02:08 +0000] rev 178
added some TM machines
(0) -100 -30 -10 -7 +7 +10 +30 +100 tip