src/HOL/Library/Library.thy
changeset 29688 6ed9ac8410d8
parent 29650 cc3958d31b1d
child 29708 e40b70d38909
     1.1 --- a/src/HOL/Library/Library.thy	Thu Jan 29 14:56:29 2009 +0000
     1.2 +++ b/src/HOL/Library/Library.thy	Thu Jan 29 14:56:29 2009 +0000
     1.3 @@ -20,6 +20,7 @@
     1.4    Eval_Witness
     1.5    Executable_Set
     1.6    Float
     1.7 +  Formal_Power_Series
     1.8    FuncSet
     1.9    Infinite_Set
    1.10    ListVector