An error occurred while fetching folder content.
Christoph
authored
Create pattern-matching cases for all CTL language elements and raise an error if encountered. We are assuming that CTL is replaced by plain μ-Calculus early on
| Name | Last commit | Last update |
|---|