Put in minimal simpset to avoid excessive simplification,
just as in revision 1.9 of HOL/indrule.ML
(* Title: HOL/Fun.thy ID: $Id$ Author: Tobias Nipkow, Cambridge University Computer Laboratory Copyright 1994 University of CambridgeLemmas about functions.*)Fun = Set