| 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 |
| 2016-02-02 | Christian Urban |
proved also finiteness of non-problematic values | file | diff | annotate |
| 2016-02-01 | Christian Urban |
extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |= | file | diff | annotate |
| 2016-02-01 | Christian Urban |
ReStar changes | file | diff | annotate |
| 2016-02-01 | Christian Urban |
more lemmas for star | file | diff | annotate |
| 2016-01-30 | Christian Urban |
proved some lemmas about star and mkeps (injval etc not yet done) | file | diff | annotate |
| 2016-01-21 | Christian Urban |
added theory for star | file | diff | annotate |