tm: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:56:33 +0000] rev 185

added clear-definition to paper

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 14:39:50 +0000] rev 183

updated exponent program

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:33:00 +0000] rev 182

tuned

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:26:27 +0000] rev 180

added abacus machines

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 00:18:56 +0000] rev 179

tuned

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 16 Feb 2013 09:07:07 +0000] rev 177

added abacus programs

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 15 Feb 2013 18:24:00 +0000] rev 176

added scala file