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 |= | changeset | files |
Mon, 01 Feb 2016 13:59:55 +0000 | Christian Urban |
ReStar changes | changeset | files |
Mon, 01 Feb 2016 13:46:28 +0000 | Christian Urban |
more lemmas for star | changeset | files |