fix spine title (#98)

* fix spine title

* wip

* wip

* wip

* wip

* final corrections in volume 1 up to chapter 3

* wip corrections to chapters 3 and 4

* wip changes in chapter 5

* wip

* final corrections in part 1

* update pdf

* wip

* last update

sofp-src/lyx/sofp-appendices.lyx

@@ -5725,7 +5725,7 @@ noprefix "false"
 
 \begin_inset CommandInset ref
 LatexCommand ref
-reference "subsec:The-rules-of-proof"
+reference "subsec:Short-notation-for-eight-code-constructions"
 plural "false"
 caps "false"
 noprefix "false"
@@ -5878,19 +5878,13 @@ Other laws that follow automatically from parametricity are composition
 \end_layout
 
 \begin_layout Standard
-\begin_inset Wrap table
-lines 0
-placement l
-overhang 0in
-width "54.5col%"
+\begin_inset Float table
+wide false
+sideways false
 status open
 
 \begin_layout Plain Layout
 \align center
-\begin_inset VSpace -20baselineskip%
-\end_inset
-
-
 \begin_inset Tabular
 <lyxtabular version="3" rows="7" columns="3">
 <features tabularvalignment="middle">
@@ -5984,7 +5978,7 @@ None
 
 \end_inset
 
- 
+
 \end_layout
 
 \end_inset
@@ -6045,7 +6039,7 @@ F[A]
 
 \end_inset
 
- 
+
 \end_layout
 
 \end_inset
@@ -41086,8 +41080,8 @@ status open
 
 \begin_layout Plain Layout
 
-              else if (p(x)) Some(x) else converge(p)(f(x))(m-1)(f)    
-         }
+              else if (p(x)) Some(x) else converge(p)(f(x))(m - 1)(f)  
+           }
 \end_layout
 
 \begin_layout Plain Layout