src/HOL/RelPow.ML
changeset 1868 836950047d85
parent 1760 6f41a494f3b1
child 2031 03a843f0f447