src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon Feb 09 11:07:17 2009 +0000
+++ b/src/HOL/Library/Library.thy	Mon Feb 09 11:15:13 2009 +0000
@@ -19,6 +19,7 @@
   Enum
   Eval_Witness
   Executable_Set
+  Finite_Cartesian_Product
   Float
   Formal_Power_Series
   FuncSet