src/HOL/Relation.thy
changeset 2545 d10abc8c11fb
parent 1983 f3f7bf0079fa
child 3439 54785105178c