Merge branch 'master' into 'master'

Fix grammar: than -> then

See merge request !15

Lectures/L22_IntroToSpecContinued/IntroToSpecContinued.tex

@@ -153,7 +153,7 @@ TBD
 \item The requirements specification must change accordingly
 \end{itemize}
 \item Specification clarifies whether the change involves a modification to the
-  interface or the implementation - if just the implementation than client
+  interface or the implementation - if just the implementation then client
   modules will be unaffected
 
 \end{itemize}
@@ -520,4 +520,4 @@ A[i+1])$}
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-\end{document}
\ No newline at end of file
+\end{document}