Fixed (harmless) typo in closing *}.

--- a/src/ZF/CardinalArith.thy	Thu Jul 10 07:15:19 2008 +0200
+++ b/src/ZF/CardinalArith.thy	Thu Jul 10 10:58:36 2008 +0200
@@ -688,7 +688,7 @@
   might be  InfCard(K) ==> |list(K)| = K.
 *)
 
-subsection{*For Every Cardinal Number There Exists A Greater One}
+subsection{*For Every Cardinal Number There Exists A Greater One*}
 
 text{*This result is Kunen's Theorem 10.16, which would be trivial using AC*}