src/HOL/Power.ML
changeset 6349 f7750d816c21
parent 5143 b94cd208f073
child 6865 5577ffe4c2f1