This is an archived project. Repository and other project resources are read-only.

Commit 2d81f6a4 authored Mar 14, 2019 by Hans-Peter Deifel

Fix language-equiv-vs-bisim example

Fixes a syntax error that prevented this example from being parsed.

parent 2e9f2447

Branches

No related tags found

No related merge requests found