1.1 --- a/src/HOL/Library/Library.thy	Sun Feb 19 02:11:27 2006 +0100
     1.2 +++ b/src/HOL/Library/Library.thy	Sun Feb 19 13:21:32 2006 +0100
     1.3 @@ -21,6 +21,7 @@
     1.4    Char_ord
     1.5    Commutative_Ring
     1.6    Coinductive_List
     1.7 +  ASeries
     1.8  begin
     1.9  end
    1.10  (*>*)