thys/Spec.thy
2021-10-10 Chengsong for new journal/conf paper!
2021-02-25 Christian Urban updated
2020-10-24 Christian Urban updated
2019-02-17 Christian Urban updated
2019-01-02 Christian Urban updated
2018-09-30 Christian Urban updated
2018-08-18 Christian Urban updated
2018-08-16 Christian Urban updated
2018-08-15 Christian Urban added proof for bitcoded algorithm
2017-10-10 cu updated for Isabelle 2017
2017-09-22 Christian Urban updated
2017-08-26 Christian Urban simplified proof
2017-08-18 Christian Urban updated
2017-08-11 Christian Urban updated
2017-07-19 Christian Urban updated
less more (0) tip