src/HOL/Word/Word.thy
changeset 29642 be22ba214475
parent 29628 d9294387ab0e
child 35049 00f311c32444
equal deleted inserted replaced
29641:08d462dbb1a9 29642:be22ba214475