Fixed typo in lecture 14 (MIS)

BlankProjectTemplate/docs/Design/MIS/MIS-Checklist.tex

@@ -85,7 +85,11 @@
     state variables for another module, or an environment variable.
   \item Outputs use $out := ...$
   \item Exceptions use $exc := ...$
-        
+  \item If the state invariant is satisfied before an access program call, it
+    will remain satisfied after the call
+  \item State invariant is initially satisfied
+  \item Local functions make the specification easier to read (there is no
+    requirement that the local functions will actually be implemented in code)
   \end{todolist}
 
   \item Mathematical syntax

Lectures/L14_MIS/MIS.tex

@@ -771,7 +771,7 @@ seq\_init():
 \item Using built-in language constructs
 \end{itemize}
 \item Caused by errors made by programmers, not by users
-\item Write code so that it avoid exceptions
+\item Write code so that it avoids exceptions
 \item Exceptions will be particularly useful during testing
 \end{itemize}