thys/Spec.thy
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