# HG changeset patch
# User ballarin
# Date 1215680316 -7200
# Node ID c055e1d49285186548bf49e6400138afe9dfee61
# Parent  9a5d4a8d4aac0eff19bcd269fb31d52ed7e46a6e
Fixed (harmless) typo in closing *}.

diff -r 9a5d4a8d4aac -r c055e1d49285 src/ZF/CardinalArith.thy
--- 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*}