tm: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 24 May 2013 15:43:10 +0100] rev 260

added definitions and proofs for right-std and left-std tapes

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 22 May 2013 13:50:20 +0100] rev 259

moved new theries into a separate directory

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 21 May 2013 13:50:15 +0100] rev 258

added more about UF

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 21 May 2013 13:49:31 +0100] rev 257

more about the UF

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 16 May 2013 07:19:26 +0100] rev 256

completed coding functions

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 15 May 2013 15:07:27 +0100] rev 255

added recusive functions that decode triangle numbers

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 13 May 2013 15:28:48 +0100] rev 254

added

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 13 May 2013 14:08:54 +0100] rev 253

added papers

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 10 May 2013 09:07:03 +0100] rev 252

added first version of natbiject

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 10 May 2013 09:06:48 +0100] rev 251

added test version