
diff -r d6936fd7cda8 -r edbd2c09176b src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Mon Oct 26 09:03:57 2009 +0100
+++ b/src/HOL/Library/Library.thy	Mon Oct 26 11:19:24 2009 +0100
@@ -20,7 +20,6 @@
   Enum
   Eval_Witness
   Executable_Set
-  Fin_Fun
   Float
   Formal_Power_Series
   Fraction_Field




