2021-10-10 | Christian Urban | added llncs.cls | file | diff | annotate |
2021-10-10 | Christian Urban | updated for Isabelle 2021 | file | diff | annotate |
2019-07-29 | Christian Urban | updated | file | diff | annotate |
2019-05-10 | Christian Urban | updated | file | diff | annotate |
2019-02-11 | Christian Urban | added partial derivative proof from Antimirov | file | diff | annotate |
2019-02-10 | Christian Urban | updated to Isabelle 2018 | file | diff | annotate |
2018-08-18 | Christian Urban | updated | file | diff | annotate |
2018-08-16 | Christian Urban | updated | file | diff | annotate |
2018-08-15 | Christian Urban | added proof for bitcoded algorithm | file | diff | annotate |
2017-10-25 | cu | updated | file | diff | annotate |