src/HOL/ex/Formal_Power_Series_Examples.thy
2009-01-30 chaieb 2009-01-30 Fixed theory name
2009-01-30 chaieb 2009-01-30 Some applications of formal power Series