tm: Changelog

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