2016-02-10 | Christian Urban |
fixed inj function | file | diff | annotate |
2016-02-08 | Christian Urban |
strengthened PMatch to get determ | file | diff | annotate |
2016-02-08 | Christian Urban |
updated | file | diff | annotate |
2016-02-08 | Christian Urban |
updated | file | diff | annotate |
2016-02-07 | Christian Urban |
updated | file | diff | annotate |
2016-02-05 | Christian Urban |
started a paper and moved cruft to Attic | file | diff | annotate |