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

Actually represent variable under μ/ν as string 

so it's `MU of string * formula` again. The variable within the formula
is still represented as `VAR s`
parent 8cac0897
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment