Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 05:34:39 +0000] rev 190
renamed sete definition to adjust and old special case of adjust to adjust0
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 05:33:57 +0000] rev 189
parts of the Abacus translation
Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Feb 2013 00:34:41 +0000] rev 188
tuned Scala implementation
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 13:36:35 +0000] rev 187
polished some typos in the paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 05:11:33 +0000] rev 186
added link and comment to fourth edition of Boolos
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:56:33 +0000] rev 185
added clear-definition to paper
Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 19 Feb 2013 04:31:18 +0000] rev 184
added newer ROOT file
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 14:39:50 +0000] rev 183
updated exponent program
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:33:00 +0000] rev 182
tuned
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 18 Feb 2013 13:28:51 +0000] rev 181
removed unnecessary examples from Abacus.thy