--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Fun.thy Fri Mar 03 12:02:25 1995 +0100
@@ -0,0 +1,9 @@
+(* Title: HOL/Fun.thy
+ ID: $Id$
+ Author: Tobias Nipkow, Cambridge University Computer Laboratory
+ Copyright 1994 University of Cambridge
+
+Lemmas about functions.
+*)
+
+Fun = Set