diff options
| author | Camil Staps | 2018-04-17 12:24:02 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-17 12:24:02 +0200 |
| commit | 12976280c5eb4dbe178387b88977fa43795186cb (patch) | |
| tree | a0b0e4d8f3c75f466b1e6d2634ba77a3f086deb5 /Assignment1/exercises.tex | |
| parent | Semantics over paths and states (diff) | |
Start with minimal bad prefixes
Diffstat (limited to 'Assignment1/exercises.tex')
| -rw-r--r-- | Assignment1/exercises.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Assignment1/exercises.tex b/Assignment1/exercises.tex index 5849c84..647755e 100644 --- a/Assignment1/exercises.tex +++ b/Assignment1/exercises.tex @@ -1,4 +1,6 @@ +\camil \subsection{Exercises} +\emph{NB: these exercises are to be added to the current section 5.5.} % After the exam documentclass; http://compgroups.net/comp.text.tex/-if-else-fi-in-new-environment/263869 \newif\ifshowanswers\showanswerstrue \newenvironment{answer}% @@ -6,7 +8,6 @@ {\egroup} \newcommand{\hint}[1]{\par\textit{Hint: #1}} -\camil \begin{exercise} For the PLTL formulas over $AP=\{a,b\}$ given below, determine whether they are \wffn, \wffp, \wfff\ or neither. |