src/HOL/Word/Bool_List_Representation.thy
changeset 41648 6d736d983d5c
parent 37667 41acc0fa6b6c
child 41842 d8f76db6a207