src/HOL/Real/HahnBanach/document/root.tex
 changeset 13548 36cb5fb8188c parent 11851 d190028f43c5 child 14721 782932b1e931
equal inserted replaced
13547:bf399f3bd7dc 13548:36cb5fb8188c
    50 With these preliminaries, the main proof of the theorem (in its two versions)
    50 With these preliminaries, the main proof of the theorem (in its two versions)
    51 is conducted in the third part.  The dependencies of individual theories are
    51 is conducted in the third part.  The dependencies of individual theories are
    52 as follows.
    52 as follows.
    53
    53
    54 \begin{center}
    54 \begin{center}
    55   \includegraphics[scale=0.7]{session_graph}
    55   \includegraphics[scale=0.5]{session_graph}
    56 \end{center}
    56 \end{center}
    57
    57
    58 \clearpage
    58 \clearpage
    59 \part {Basic Notions}
    59 \part {Basic Notions}
    60
    60