src/HOL/Power.thy
changeset 24728 e2b3a1065676
parent 24376 e403ab5c9415
child 24996 ebd5f4cc7118