Paper/Paper.thy
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-14 Christian Urban typo in the paper
2013-02-14 Christian Urban updated some files
2013-02-13 Christian Urban tuned
2013-02-10 Christian Urban fixed compilation of paper and typo
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-07 Christian Urban updated paper
2013-02-06 Christian Urban updated
2013-02-06 Christian Urban updated
2013-02-06 Christian Urban updated
2013-02-06 Christian Urban updated
2013-02-06 Christian Urban updated
less more (0) -50 -30 tip