2017-07-04 | Christian Urban | isar proofs | file | diff | annotate |
2017-06-30 | Christian Urban | updated | file | diff | annotate |
2017-06-29 | Christian Urban | updated | file | diff | annotate |
2017-06-27 | Christian Urban | polished | file | diff | annotate |
2017-02-25 | Christian Urban | updated | file | diff | annotate |
2016-07-20 | Christian Urban |
added paper about size derivatives | file | diff | annotate |
2016-06-03 | Christian Urban |
typos | file | diff | annotate |
2016-05-20 | Christian Urban |
added corollary | file | diff | annotate |
2016-05-18 | Christian Urban |
updated | file | diff | annotate | base |