--- a/src/HOL/Library/Library.thy Sun Sep 16 22:45:34 2018 +0200 +++ b/src/HOL/Library/Library.thy Mon Sep 17 15:31:55 2018 +0100 @@ -77,6 +77,7 @@ Rewrite Saturated Set_Algebras + Set_Idioms State_Monad Stirling Stream