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
less more (0) -60 tip