thys/BitCoded.thy
changeset 315 ab7fe342e004
parent 314 20a57552d722
child 316 0eaa1851a5b6