Skip to content
Snippets Groups Projects
Commit becb9ab2 authored by Christoph's avatar Christoph
Browse files

Allow creating ATL formulae in randmu

parent e01c4a03
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 126 additions and 3 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment