--- a/src/ZF/ex/NatSum.thy Fri Feb 18 16:11:58 2011 +0100
+++ b/src/ZF/ex/NatSum.thy Fri Feb 18 16:22:27 2011 +0100
@@ -1,4 +1,4 @@
-(* Title: ZF/ex/Natsum.thy
+(* Title: ZF/ex/NatSum.thy
Author: Tobias Nipkow & Lawrence C Paulson
A summation operator. sum(f,n+1) is the sum of all f(i), i=0...n.