thys/Paper/Paper.thy
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 updated
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 started a paper and moved cruft to Attic
less more (0) tip