src/HOL/Library/Bit.thy
changeset 38857 97775f3e8722
parent 36409 d323e7773aa8
child 41959 b460124855b8