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
2013-04-25 added improved Recsursive function theory (not yet finished)
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)
2013-04-24 updated
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 24 Apr 2013 09:49:00 +0100] rev 239
updated
2013-04-22 used prime from the library
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 22 Apr 2013 10:33:40 +0100] rev 238
used prime from the library
2013-04-22 updated and small modification
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 22 Apr 2013 08:26:16 +0100] rev 237
updated and small modification
2013-04-05 polished the intro
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 05 Apr 2013 09:18:17 +0100] rev 236
polished the intro
2013-04-01 added paper by Kozen on Hoare-logics and Kleene algebras
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Apr 2013 21:38:53 +0100] rev 235
added paper by Kozen on Hoare-logics and Kleene algebras
2013-04-01 fixed counterexample according to def in Chap 8
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Apr 2013 18:15:00 +0100] rev 234
fixed counterexample according to def in Chap 8
2013-03-29 changed the introduction adn cited Zammit
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Mar 2013 02:40:38 +0000] rev 233
changed the introduction adn cited Zammit
2013-03-29 updated according to comments from reviewers
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 29 Mar 2013 01:36:45 +0000] rev 232
updated according to comments from reviewers
2013-03-27 tunded
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 13:24:41 +0000] rev 231
tunded
2013-03-27 adapted paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 13:16:37 +0000] rev 230
adapted paper
2013-03-27 much simplified version of Recursive.thy
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 09:47:02 +0000] rev 229
much simplified version of Recursive.thy
2013-03-14 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 20:43:43 +0000] rev 228
tuned
2013-03-14 tuned scala examples
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 19:18:39 +0000] rev 227
tuned scala examples
2013-03-14 tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 19:03:05 +0000] rev 226
tuned
2013-03-14 added an abacus to javabyte code compiler
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 18:46:34 +0000] rev 225
added an abacus to javabyte code compiler
(0) -100 -50 -28 +28 tip