src/HOL/RelPow.thy
changeset 1868 836950047d85
parent 1824 44254696843a
child 2740 2c549ae2563b