tm: Changelog

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

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 29 Apr 2013 11:02:23 +0100] rev 242

added mechanizing separation algebra paper

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 26 Apr 2013 01:07:47 +0100] rev 241

uodated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 25 Apr 2013 21:37:05 +0100] rev 240

added improved Recsursive function theory (not yet finished)