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