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