# HG changeset patch
# User chaieb
# Date 1233322905 0
# Node ID 91feea8e41e4db077c1c1381c599b4e98d49d241
# Parent  e8785144719d56f775a4aafd2c43e97ec7157f64
Fixed theory name

diff -r e8785144719d -r 91feea8e41e4 src/HOL/ex/Formal_Power_Series_Examples.thy
--- a/src/HOL/ex/Formal_Power_Series_Examples.thy	Fri Jan 30 13:24:23 2009 +0000
+++ b/src/HOL/ex/Formal_Power_Series_Examples.thy	Fri Jan 30 13:41:45 2009 +0000
@@ -5,7 +5,7 @@
 
 header{* Some applications of formal power series and some properties over complex numbers*}
 
-theory Formal_Ppower_Series_Examples
+theory Formal_Power_Series_Examples
   imports Formal_Power_Series Binomial Complex
 begin