src/HOL/Power.ML
changeset 10857 47b1f34ddd09
parent 9637 47d39a31eb2f
child 11311 5a659c406465
equal deleted inserted replaced
10856:e8a5340418b6 10857:47b1f34ddd09