| 2022-05-03 | Christian Urban | fixed a small typo in the Papaer.thy | file | diff | annotate |
| 2022-05-01 | Christian Urban | updated the paper | file | diff | annotate |
| 2022-05-01 | Christian Urban | fixed tiny typo in the paper | file | diff | annotate |
| 2022-04-29 | Christian Urban | updated to include the paper | file | diff | annotate |