thys/Paper/Paper.thy
2022-02-08 Christian Urban updated paper
2022-02-07 Christian Urban updated
2021-10-09 Christian Urban updated
2017-08-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
less more (0) -15 tip