2013-02-19 polished some typos in the paper
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
2013-02-19 added link and comment to fourth edition of Boolos
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
2013-02-19 added clear-definition to paper
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
2013-02-19 added newer ROOT file
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
(0) -100 -30 -10 -4 +4 +10 +30 +100 tip