src/HOL/Power.thy
changeset 24850 0cfd722ab579
parent 24376 e403ab5c9415
child 24996 ebd5f4cc7118