src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Wed Jan 28 10:43:31 2009 +0100
+++ b/src/HOL/Library/Library.thy	Wed Jan 28 11:04:10 2009 +0100
@@ -35,6 +35,7 @@
   Quicksort
   Quotient
   Ramsey
+  Reflection
   RBT
   State_Monad
   Univ_Poly