src/HOL/Power.thy
changeset 21512 3786eb1b69d6
parent 21456 1c2b9df41e98
child 22390 378f34b1e380