2013-02-19 Christian Urban polished some typos in the paper
2013-02-19 Christian Urban added link and comment to fourth edition of Boolos
2013-02-19 Christian Urban added clear-definition to paper
2013-02-19 Christian Urban added newer ROOT file
2013-02-18 Christian Urban updated exponent program
2013-02-18 Christian Urban tuned
2013-02-18 Christian Urban removed unnecessary examples from Abacus.thy
Loading...
(0) -100 -30 -10 -7 +7 +10 +30 +100 tip