src/HOL/Library/Library.thy
changeset 26192 52617dca8386
parent 26173 5cac519abe4e
child 26232 075264a0a4bc
     1.1 --- a/src/HOL/Library/Library.thy	Sun Mar 02 15:02:06 2008 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Mon Mar 03 14:03:19 2008 +0100
     1.3 @@ -38,6 +38,7 @@
     1.4    Quicksort
     1.5    Quotient
     1.6    Ramsey
     1.7 +  RBT
     1.8    State_Monad
     1.9    Univ_Poly
    1.10    While_Combinator