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
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)
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 24 Apr 2013 09:49:00 +0100] rev 239
updated
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
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
Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 05 Apr 2013 09:18:17 +0100] rev 236
polished the intro
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
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
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
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
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 13:24:41 +0000] rev 231
tunded
Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 27 Mar 2013 13:16:37 +0000] rev 230
adapted paper
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
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 20:43:43 +0000] rev 228
tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 19:18:39 +0000] rev 227
tuned scala examples
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 19:03:05 +0000] rev 226
tuned
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
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 18:24:06 +0000] rev 224
tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Mar 2013 18:02:26 +0000] rev 223
added a stimes_ac lemma for Xingyuan
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 12 Mar 2013 15:03:23 +0000] rev 222
better printing of register programs in Scala
Christian Urban <christian dot urban at kcl dot ac dot uk> [Sun, 10 Mar 2013 07:10:50 +0000] rev 221
some peephole optimisations in the scala code