src/HOL/MetisExamples/set.thy
changeset 28263 69eaa97e7e96
parent 26806 40b411ec05aa
child 28486 873726bdfd47