src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Tue Apr 25 22:23:58 2006 +0200
+++ b/src/HOL/Library/Library.thy	Wed Apr 26 07:01:33 2006 +0200
@@ -21,7 +21,6 @@
   Char_ord
   Commutative_Ring
   Coinductive_List
-  Arithmetic_Series
   AssocList
 begin
 end