thys/BitCoded2.thy
Sat, 14 Sep 2019 13:25:56 +0100 Christian Urban added "big" lemma
Thu, 12 Sep 2019 18:06:01 +0100 Chengsong proof attempt
Mon, 09 Sep 2019 09:37:33 +0100 Christian Urban made lemma about AALTs_subs stronger w.r.t. flts
Fri, 06 Sep 2019 14:18:11 +0100 Christian Urban updaed with AALTs_subs definition
less more (0) -4 tip