src/HOL/Power.thy
changeset 27123 11fcdd5897dd
parent 25874 14819a95cf75
child 28131 3130d7b3149d