src/HOL/Power.thy
changeset 19070 99001616e0e2
parent 17149 e2b19c92ef51
child 21199 2d83f93c3580
equal deleted inserted replaced
19069:a4b956f8b233 19070:99001616e0e2