src/HOL/Library/FuncSet.thy
changeset 30960 fec1a04b7220
parent 30663 0b6aff7451b2
child 31727 2621a957d417