# HG changeset patch
# User wenzelm
# Date 863022956 -7200
# Node ID 7d940ceb25b5144f849bd8730da5c217ed9ba1c9
# Parent  233aba197bf2e7ebfeaab0d56895f194e16d23bf
fixed caption font;

diff -r 233aba197bf2 -r 7d940ceb25b5 doc-src/Logics/CTT.tex
--- a/doc-src/Logics/CTT.tex	Wed May 07 17:21:24 1997 +0200
+++ b/doc-src/Logics/CTT.tex	Wed May 07 18:35:56 1997 +0200
@@ -695,8 +695,8 @@
 \tdx{diff_succ_succ}    [| a:N;  b:N |] ==> succ(a) - succ(b) = a - b : N
 \tdx{diff_self_eq_0}    a:N ==> a - a = 0 : N
 \tdx{add_inverse_diff}  [| a:N;  b:N;  b-a=0 : N |] ==> b #+ (a-b) = a : N
+\end{ttbox}
 \caption{The theory of arithmetic} \label{ctt_arith}
-\end{ttbox}
 \end{figure}