src/HOL/Library/Library.thy
changeset 43124 fdb7e1d5f762
parent 41474 60d091240485
child 43146 09f74fda1b1d
     1.1 --- a/src/HOL/Library/Library.thy	Wed Jun 01 08:07:28 2011 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Jun 01 09:10:13 2011 +0200
     1.3 @@ -52,7 +52,7 @@
     1.4    Quotient_Type
     1.5    Ramsey
     1.6    Reflection
     1.7 -  RBT
     1.8 +  RBT_Mapping
     1.9    Set_Algebras
    1.10    SML_Quickcheck
    1.11    State_Monad