src/HOL/Relation_Power.thy
changeset 29609 a010aab5bed0
parent 28517 dd46786d4f95
child 29654 24e73987bfe2
equal deleted inserted replaced
29608:564ea783ace8 29609:a010aab5bed0