src/HOL/Library/FuncSet.thy
changeset 47220 52426c62b5d0
parent 44382 9afa4a0e6f3c
child 47761 dfe747e72fa8