src/HOL/Power.thy
changeset 37407 61dd8c145da7
parent 36409 d323e7773aa8
child 39438 c5ece2a7a86e