src/HOL/Library/Library.thy
changeset 48742 28d59ce5ebfd
parent 48623 bea613f2543d
child 50087 635d73673b5e
     1.1 --- a/src/HOL/Library/Library.thy	Thu Aug 09 12:39:05 2012 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Aug 09 14:09:36 2012 +0200
     1.3 @@ -55,7 +55,7 @@
     1.4    Ramsey
     1.5    Reflection
     1.6    RBT_Mapping
     1.7 -  (* RBT_Set *) (* not included because it breaks Codegenerator_Test/Generate*.thy *)
     1.8 +  (* RBT_Set *) (* FIXME not included because it breaks Codegenerator_Test/Generate*.thy *)
     1.9    Saturated
    1.10    Set_Algebras
    1.11    State_Monad