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
2019-09-06 Christian Urban updaed with AALTs_subs definition
2019-08-21 Christian Urban updated with the proof of bder
2019-08-21 Christian Urban added some lemmas about the counter example.
2019-08-20 Christian Urban updated contains
2019-08-19 Christian Urban added progress with the contains relation
2019-08-10 Christian Urban updated
2019-08-10 Christian Urban updated
less more (0) tip