thys/paper.pdf
2017-02-25 Christian Urban updated
2016-06-03 Christian Urban typos
2016-05-24 Christian Urban updated AFP link
2016-05-20 Christian Urban typo
2016-05-20 Christian Urban typo
2016-05-20 Christian Urban typo
2016-05-20 Christian Urban added corollary
2016-05-18 Christian Urban updated
2016-05-17 Christian Urban Roy's comments
2016-05-17 Christian Urban less squeezing
2016-05-17 Christian Urban updated
2016-05-17 Christian Urban squeezed on 16 pages
2016-05-17 Christian Urban isarfied the simplify theory
2016-05-16 Christian Urban improved simplifying theory
2016-05-16 Christian Urban update
2016-05-11 Christian Urban updated
2016-05-11 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-09 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-08 Christian Urban updated
2016-05-04 Christian Urban updated literature
2016-04-13 Christian Urban some small typos
2016-04-05 Christian Urban corrected typo and corrected proofs in Sulzmann.thy
2016-03-18 Christian Urban updated
2016-03-18 Christian Urban updated
2016-03-16 Christian Urban updated
2016-03-15 Christian Urban updated
2016-03-14 Christian Urban updated
2016-03-13 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 Christian Urban updated
2016-03-11 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 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