2018-08-16 | Christian Urban | updated | file | diff | annotate |
2018-08-15 | Christian Urban | added proof for bitcoded algorithm | file | diff | annotate |
2017-10-10 | cu | updated for Isabelle 2017 | file | diff | annotate |
2017-09-22 | Christian Urban | updated | file | diff | annotate |
2017-08-26 | Christian Urban | simplified proof | file | diff | annotate |
2017-08-18 | Christian Urban | updated | file | diff | annotate |
2017-08-11 | Christian Urban | updated | file | diff | annotate |
2017-07-19 | Christian Urban | updated | file | diff | annotate |