2013-02-19 | Christian Urban |
polished some typos in the paper | changeset | files |
2013-02-19 | Christian Urban |
added link and comment to fourth edition of Boolos | changeset | files |
2013-02-19 | Christian Urban |
added clear-definition to paper | changeset | files |
2013-02-19 | Christian Urban |
added newer ROOT file | changeset | files |
2013-02-18 | Christian Urban |
updated exponent program | changeset | files |
2013-02-18 | Christian Urban |
tuned | changeset | files |
2013-02-18 | Christian Urban |
removed unnecessary examples from Abacus.thy | changeset | files |
Loading... |