--- a/src/HOL/Library/Library.thy Tue Mar 26 19:43:31 2013 +0100
+++ b/src/HOL/Library/Library.thy Tue Mar 26 20:02:02 2013 +0100
@@ -16,7 +16,9 @@
Debug
Diagonal_Subsequence
Dlist
- Extended Extended_Nat Extended_Real
+ Extended
+ Extended_Nat
+ Extended_Real
FinFun
Float
Formal_Power_Series