src/HOL/Relation.ML
changeset 17838 3032e90c4975
parent 13639 8ee6ea6627e1
equal deleted inserted replaced
17837:2922be3544f8 17838:3032e90c4975