diff options
Diffstat (limited to 'Assignment1/syntax.tex')
| -rw-r--r-- | Assignment1/syntax.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment1/syntax.tex b/Assignment1/syntax.tex index 42ebf63..6571564 100644 --- a/Assignment1/syntax.tex +++ b/Assignment1/syntax.tex @@ -2,7 +2,7 @@ \erin % Provide formal syntax % Provide intuitive semantics -%TODO: Provide formal semantics +% Provide formal semantics This subsection describes the syntax of PLTL. PLTL uses the same operators as LTL and adds two additional operators: $\Pop$ (pronounced \enquote{previously}) and |