src/HOL/Library/Library.thy
changeset 29650 cc3958d31b1d
parent 29504 4c3441f2f619
child 29688 6ed9ac8410d8
     1.1 --- a/src/HOL/Library/Library.thy	Wed Jan 28 10:43:31 2009 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Jan 28 11:04:10 2009 +0100
     1.3 @@ -35,6 +35,7 @@
     1.4    Quicksort
     1.5    Quotient
     1.6    Ramsey
     1.7 +  Reflection
     1.8    RBT
     1.9    State_Monad
    1.10    Univ_Poly