| Thu, 29 Jan 2015 09:05:40 +0000 | Christian Urban |
added some lemmas, attempted others | file | diff | annotate |
| Wed, 21 Jan 2015 12:32:17 +0000 | Christian Urban |
updated | file | diff | annotate |
| Mon, 19 Jan 2015 09:55:58 +0000 | Christian Urban |
added a function for calculating values | file | diff | annotate |