| Fri, 05 Feb 2016 10:16:10 +0000 | Christian Urban |
started a paper and moved cruft to Attic | file | diff | annotate |
| Tue, 02 Feb 2016 02:27:16 +0000 | Christian Urban |
proved also finiteness of non-problematic values | file | diff | annotate |
| Mon, 01 Feb 2016 22:30:27 +0000 | Christian Urban |
extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |= | file | diff | annotate |
| Mon, 01 Feb 2016 13:59:55 +0000 | Christian Urban |
ReStar changes | file | diff | annotate |
| Mon, 01 Feb 2016 13:46:28 +0000 | Christian Urban |
more lemmas for star | file | diff | annotate |
| Sat, 30 Jan 2016 13:12:36 +0000 | Christian Urban |
proved some lemmas about star and mkeps (injval etc not yet done) | file | diff | annotate |
| Thu, 21 Jan 2016 12:47:20 +0000 | Christian Urban |
added theory for star | file | diff | annotate |