tm: Changelog

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 09 May 2013 18:16:36 +0100] rev 250

added lemmas about a pairing function

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 13:19:50 +0100] rev 249

polised a bit of the Recs-theory