thys/journal.pdf
2021-10-10 Christian Urban added llncs.cls
2021-10-10 Christian Urban updated for Isabelle 2021
2019-07-29 Christian Urban updated
2019-05-10 Christian Urban updated
2019-02-11 Christian Urban added partial derivative proof from Antimirov
2019-02-10 Christian Urban updated to Isabelle 2018
2018-08-18 Christian Urban updated
2018-08-16 Christian Urban updated
2018-08-15 Christian Urban added proof for bitcoded algorithm
2017-10-25 cu updated
less more (0) tip