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
(0) -100 -30 -10 -7 +7 +10 +30 tip