src/HOL/Relation.thy
changeset 46638 fc315796794e
parent 46637 0bd7c16a4200
child 46664 1f6c140f9c72