2019-02-11 | Christian Urban | added partial derivative proof from Antimirov | file | diff | annotate |
2017-07-18 | Christian Urban | changed definitions of PRF | file | diff | annotate |
2017-02-26 | Christian Urban | updated | file | diff | annotate |
2016-05-18 | Christian Urban |
updated | file | diff | annotate |
2016-02-05 | Christian Urban |
started a paper and moved cruft to Attic | file | diff | annotate |