2013-05-15 added recusive functions that decode triangle numbers
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
2013-05-13 added
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 13 May 2013 15:28:48 +0100] rev 254
added
2013-05-13 added papers
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 13 May 2013 14:08:54 +0100] rev 253
added papers
2013-05-10 added first version of natbiject
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
2013-05-10 added test version
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 10 May 2013 09:06:48 +0100] rev 251
added test version
2013-05-09 added lemmas about a pairing function
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
2013-05-02 polised a bit of the Recs-theory
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
2013-05-02 repaired old files
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 12:49:33 +0100] rev 248
repaired old files
2013-05-02 eliminated explicit swap_lemmas
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
2013-05-02 separated recursive functions and UF
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
2013-05-02 introduced rec_if
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 02 May 2013 08:31:48 +0100] rev 245
introduced rec_if
2013-05-01 started with UF
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 01 May 2013 15:56:57 +0100] rev 244
started with UF
2013-04-30 added max and lg functions
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
2013-04-29 added mechanizing separation algebra paper
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
2013-04-26 uodated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 26 Apr 2013 01:07:47 +0100] rev 241
uodated
(0) -100 -15 +15 tip