| 2022-02-08 | Christian Urban | updated paper | file | diff | annotate |
| 2022-02-07 | Christian Urban | updated | file | diff | annotate |
| 2021-10-09 | Christian Urban | updated | file | diff | annotate |
| 2017-08-25 | Christian Urban | updated | file | diff | annotate |
| 2016-06-03 | Christian Urban |
typos | file | diff | annotate |
| 2016-05-24 | Christian Urban |
updated AFP link | file | diff | annotate |
| 2016-05-20 | Christian Urban |
typo | file | diff | annotate |
| 2016-05-20 | Christian Urban |
typo | file | diff | annotate |
| 2016-05-20 | Christian Urban |
typo | file | diff | annotate |
| 2016-05-20 | Christian Urban |
added corollary | file | diff | annotate |
| 2016-05-18 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-17 | Christian Urban |
Roy's comments | file | diff | annotate |
| 2016-05-17 | Christian Urban |
less squeezing | file | diff | annotate |
| 2016-05-17 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-17 | Christian Urban |
squeezed on 16 pages | file | diff | annotate |
| 2016-05-17 | Christian Urban |
isarfied the simplify theory | file | diff | annotate |
| 2016-05-16 | Christian Urban |
improved simplifying theory | file | diff | annotate |
| 2016-05-16 | Christian Urban |
update | file | diff | annotate |
| 2016-05-11 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-11 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-09 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-09 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-09 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-09 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-08 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-08 | Christian Urban |
updated | file | diff | annotate |
| 2016-05-04 | Christian Urban |
updated literature | file | diff | annotate |
| 2016-04-13 | Christian Urban |
some small typos | file | diff | annotate |
| 2016-04-05 | Christian Urban |
corrected typo and corrected proofs in Sulzmann.thy | file | diff | annotate |
| 2016-03-18 | Christian Urban |
updated | file | diff | annotate |