
diff -r 2e1c7ca05ee0 -r c33563c7c14c src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Thu Apr 06 17:29:40 2006 +0200
+++ b/src/HOL/Library/Library.thy	Fri Apr 07 03:20:34 2006 +0200
@@ -21,7 +21,7 @@
   Char_ord
   Commutative_Ring
   Coinductive_List
-  ASeries
+  Arithmetic_Series
   AssocList
 begin
 end




