src/HOL/Library/Library.thy
changeset 29650 cc3958d31b1d
parent 29504 4c3441f2f619
child 29688 6ed9ac8410d8
--- 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