--- a/src/HOL/Library/Library.thy Sun May 01 17:26:27 2016 +0200 +++ b/src/HOL/Library/Library.thy Wed May 04 10:19:01 2016 +0200 @@ -73,6 +73,7 @@ Saturated Set_Algebras State_Monad + Stirling Stream Sublist Sum_of_Squares