src/HOL/Library/Library.thy
changeset 19106 6e6b5b1fdc06
parent 18397 2d94eb7ff17f
child 19234 054332e39e0a
     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  (*>*)