src/HOL/Library/Library.thy
changeset 19469 958d2f2dd8d4
parent 19351 c33563c7c14c
child 19564 d3e2f532459a
     1.1 --- a/src/HOL/Library/Library.thy	Tue Apr 25 22:23:58 2006 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Apr 26 07:01:33 2006 +0200
     1.3 @@ -21,7 +21,6 @@
     1.4    Char_ord
     1.5    Commutative_Ring
     1.6    Coinductive_List
     1.7 -  Arithmetic_Series
     1.8    AssocList
     1.9  begin
    1.10  end