thys2/BitCoded.thy
changeset 536 aff7bf93b9c7
parent 489 2b5b3f83e2b6
equal deleted inserted replaced
535:ce91c29d2885 536:aff7bf93b9c7