tm: Changelog

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