src/HOL/Library/Word.thy
changeset 73255 7e2a9a8c2b85
parent 72954 eb1e5c4f70cd
child 73535 0f33c7031ec9