src/HOL/Library/FuncSet.thy
2002-09-26 paulson 2002-09-26 new theory for Pi-sets, restrict, etc.