thys/BitCoded2.thy
2021-10-09 Christian Urban updated
2020-10-24 Christian Urban updated
2019-09-18 Christian Urban updated
2019-09-17 Christian Urban a bit more cleaning up
2019-09-14 Christian Urban added "big" lemma
2019-09-12 Chengsong proof attempt
2019-09-09 Christian Urban made lemma about AALTs_subs stronger w.r.t. flts
less more (0) -10 -7 tip