| 2016-05-09 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-15 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-14 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-14 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-11 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-11 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-11 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-11 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-10 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-08 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-08 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-08 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-07 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-07 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-07 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-07 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-05 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-03 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-02 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-02 | Christian Urban |
updated | file | diff | annotate |
| 2016-03-01 | Christian Urban |
updated paper | file | diff | annotate |
| 2016-02-28 | Christian Urban |
updated | file | diff | annotate |
| 2016-02-25 | Christian Urban |
more cleaning and moving unnessary stuff to the end | file | diff | annotate |
| 2016-02-25 | Christian Urban |
updated | file | diff | annotate |
| 2016-02-24 | Christian Urban |
updated theories and cleaned them up | file | diff | annotate |
| 2016-02-15 | Christian Urban |
added some slides | file | diff | annotate |
| 2016-02-13 | Christian Urban |
updated | file | diff | annotate |
| 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-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 |