Added intr and footer

2 files changed, 16 insertions, 10 deletions

diff --git a/sections/introduction-pl.tex b/sections/introduction-pl.tex
index a839164..852bc01 100644
--- a/sections/introduction-pl.tex
+++ b/sections/introduction-pl.tex
@@ -38,9 +38,12 @@
   grami Banacha-Mazura, które są dobrze znanym narzędziem w deskryptywnej
   teorii mnogości.
 
-  Opisana konstrukcja generycznego automorfizmu okazuje się pomocna w dowodzeniu
-  niektórych własności tego automorfizmu (patrz \ref{corollary:fixed_points}).
-  W ostatnim rozdziale przytaczamy przykłady klas Fraïsségo ze słabą własnością
-  Hrushovskiego i kanoniczną amalgamacją oraz charakteryzujemy ich granice
-  oraz generyczny automorfizm.
+  W rozdziale \ref{section:preliminaries} wprowadzamy istotne pojęcia z deskryptywnej
+  teorii mnogości, teorii kategorii i udowadniamy twierdzenie Banacha-Mazura.
+  Rozdział \ref{section:fraisse_classes} poświęcony jest przedstawieniu klas
+  Fraïsségo oraz kanonicznej amalgamacji. W rozdziale \ref{section:conjugacy_classes}
+  udowadniamy kluczowe Twierdzenie \ref{theorem:key-theorem} przez wskazanie
+  konstrukcji generycznego automorfizmu granicy Fraïsségo klasy ze słabą
+  własnością Hrushovskiego oraz kanoniczną amalgamacją. W ostatnim rozdziale \ref{section:examples}
+  przytaczamy przykłady takich klas Fraïsségo.
 \end{document}
diff --git a/sections/introduction.tex b/sections/introduction.tex
index 25b3358..caf4dc0 100644
--- a/sections/introduction.tex
+++ b/sections/introduction.tex
@@ -37,10 +37,13 @@
   this by using the Banach-Mazur games, a well known method in the descriptive
   set theory, which proves useful in the study of comeagre sets.
 
-  Finally, we show how this construction of the generic automorphism can be
-  used to deduce some properties of generic automorphisms 
-  (see \ref{corollary:fixed_points}). In the last section we give examples 
+  In section \ref{section:preliminaries} we introduce important notions from 
+  descriptive set theory and category theory and prove the Banach-Mazur theorem. 
+  Section \ref{section:fraisse_classes} is devoted to Fraïssé classes
+  and describes canonical amalgamation. In section \ref{section:conjugacy_classes}
+  we prove the main Theorem \ref{theorem:key-theorem} by showing a construction
+  of generic automorphism of Fraïssé classes with WHP and canonical amalgamation. 
+  Finally, in the section \ref{section:examples} we give examples 
   and anti-examples of Fraïssé classes with weak Hrushovski property and 
-  canonical amalgamation, characterize Fraïssé limits and generic automorphism
-  of these classes.
+  canonical amalgamation.
 \end{document}