1
(* Title: HOL/Fun.thy
2
ID: $Id$
3
Author: Tobias Nipkow, Cambridge University Computer Laboratory
4
Copyright 1994 University of Cambridge
5
6
Lemmas about functions.
7
*)
8
9
Fun = Set