src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue Jun 02 15:53:07 2009 +0200
+++ b/src/HOL/Library/Library.thy	Tue Jun 02 15:53:34 2009 +0200
@@ -22,6 +22,7 @@
   Enum
   Eval_Witness
   Executable_Set
+  Fin_Fun
   Float
   Formal_Power_Series
   FrechetDeriv