src/HOL/Relation_Power.thy
changeset 10519 ade64af4c57c
parent 10213 01c2744a3786
child 11305 2ce86fccc95b