diff options
| author | Camil Staps | 2018-04-17 11:33:17 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-04-17 11:33:17 +0200 |
| commit | 069d8b7bc1b5212a60f80b7b1a9d58b47d723e19 (patch) | |
| tree | e5b7048d078ba769a558571420b08502ed505269 /Assignment1/assignment1.tex | |
| parent | Add definitions of wff, wff0, wff+, wff- (and an exercise about them) (diff) | |
Deriving the formal semantics of derived operators
Diffstat (limited to 'Assignment1/assignment1.tex')
| -rw-r--r-- | Assignment1/assignment1.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex index e40b064..63645f1 100644 --- a/Assignment1/assignment1.tex +++ b/Assignment1/assignment1.tex @@ -60,6 +60,7 @@ \crefname{xdefinition}{Definition}{Definitions} \crefname{xexample}{Example}{Examples} \crefname{xremark}{Remark}{Remarks} +\crefname{exercise}{Exercise}{Exercises} \usepackage[color]{changebar} \newif\ifchangebar\changebarfalse \let\oldcbend\cbend |