diff options
| author | Erin van der Veen | 2018-04-23 21:20:53 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-04-23 21:20:53 +0200 |
| commit | 3ce91bf844723be99e183bee375bf447d9f9b237 (patch) | |
| tree | f1a5fdb97337e62875f3543cacc5e0255bcdf44e /Assignment2 | |
| parent | Hackfixes to get changebar right (diff) | |
Mention that the translation Muller -> LTL lies outside the scope of this book.
Diffstat (limited to 'Assignment2')
0 files changed, 0 insertions, 0 deletions