examples/language-equiv-vs-bisim · master · Software / CoPaR

Mar 14, 2019
2d81f6a4
Fix language-equiv-vs-bisim example · 2d81f6a4
Hans-Peter Deifel authored Mar 14, 2019
```
Fixes a syntax error that prevented this example from being parsed.
```
2d81f6a4
Fix language-equiv-vs-bisim example
Hans-Peter Deifel authored Mar 14, 2019
```
Fixes a syntax error that prevented this example from being parsed.
```