src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Sun Feb 19 02:11:27 2006 +0100
+++ b/src/HOL/Library/Library.thy	Sun Feb 19 13:21:32 2006 +0100
@@ -21,6 +21,7 @@
   Char_ord
   Commutative_Ring
   Coinductive_List
+  ASeries
 begin
 end
 (*>*)