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