thys/Paper/Paper.thy
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-09 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-16 Christian Urban updated
less more (0) -14 tip