tm: Changelog

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 12:49:33 +0100] rev 248

repaired old files

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 12:49:15 +0100] rev 247

eliminated explicit swap_lemmas

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 11:32:37 +0100] rev 246

separated recursive functions and UF

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 08:31:48 +0100] rev 245

introduced rec_if

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 01 May 2013 15:56:57 +0100] rev 244

started with UF

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 30 Apr 2013 12:53:11 +0100] rev 243

added max and lg functions