changeset 66271 | d157195a468a |
parent 66270 | 403d84138c5c |
child 66451 | 5be0b0604d71 |
--- a/src/HOL/Library/Library.thy Tue Jul 11 17:22:33 2017 +0200 +++ b/src/HOL/Library/Library.thy Tue Jul 11 20:47:19 2017 +0200 @@ -71,6 +71,7 @@ Rewrite Saturated Set_Algebras + State_Monad Stirling Stream Sublist @@ -81,4 +82,4 @@ While_Combinator begin end -(*>*) +(*>*) \ No newline at end of file