2016-03-11 | Christian Urban |
updated | changeset | files |
2016-03-11 | Christian Urban |
updated | changeset | files |
2016-03-10 | Christian Urban |
updated | changeset | files |
2016-03-09 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-08 | Christian Urban |
updated | changeset | files |
2016-03-07 | Christian Urban |
updated | changeset | files |
2016-03-07 | Christian Urban |
updated | changeset | files |
2016-03-07 | Christian Urban |
updated | changeset | files |
2016-03-07 | Christian Urban |
updated | changeset | files |
2016-03-06 | Christian Urban |
updated | changeset | files |
2016-03-06 | Christian Urban |
updated | changeset | files |
2016-03-06 | Christian Urban |
updated | changeset | files |
2016-03-06 | Christian Urban |
updated | changeset | files |
2016-03-05 | Christian Urban |
updated | changeset | files |
2016-03-05 | Christian Urban |
updated | changeset | files |
2016-03-05 | Christian Urban |
updated | changeset | files |
2016-03-03 | Christian Urban |
updated | changeset | files |
2016-03-02 | Christian Urban |
updated | changeset | files |
2016-03-02 | Christian Urban |
updated | changeset | files |
2016-03-02 | Christian Urban |
updated | changeset | files |
2016-03-01 | Christian Urban |
updated paper | changeset | files |
2016-02-28 | Christian Urban |
updated | changeset | files |
2016-02-25 | Christian Urban |
more cleaning and moving unnessary stuff to the end | changeset | files |
2016-02-25 | Christian Urban |
updated | changeset | files |
2016-02-24 | Christian Urban |
updated theories and cleaned them up | changeset | files |
2016-02-15 | Christian Urban |
added some slides | changeset | files |
2016-02-13 | Christian Urban |
updated | changeset | files |
2016-02-10 | Christian Urban |
fixed inj function | changeset | files |
2016-02-08 | Christian Urban |
strengthened PMatch to get determ | changeset | files |
2016-02-08 | Christian Urban |
updated | changeset | files |
2016-02-08 | Christian Urban |
updated | changeset | files |
2016-02-07 | Christian Urban |
updated | changeset | files |
2016-02-05 | Christian Urban |
added new version of paper by sulzmann | changeset | files |
2016-02-05 | Christian Urban |
started a paper and moved cruft to Attic | changeset | files |
2016-02-02 | Christian Urban |
proved also finiteness of non-problematic values | changeset | files |
2016-02-01 | Christian Urban |
extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |= | changeset | files |
2016-02-01 | Christian Urban |
ReStar changes | changeset | files |
2016-02-01 | Christian Urban |
more lemmas for star | changeset | files |
2016-01-30 | Christian Urban |
proved some lemmas about star and mkeps (injval etc not yet done) | changeset | files |
2016-01-21 | Christian Urban |
added theory for star | changeset | files |
2016-01-14 | Christian Urban |
updated | changeset | files |
2016-01-06 | Christian Urban |
added type inference paper and updated Re.thy | changeset | files |
2015-12-19 | Christian Urban |
added a proof about Values and PMatch | changeset | files |
2015-12-18 | Christian Urban |
updated | changeset | files |