Open TPolzer opened 10 years ago
exists x = st : finally[4cy] x = st;
at the moment translates to
"st" = "st" or (X "st" = "st" or (X "st" = "st" or (X "st" = "st")))
this translation is obviously wrong.
at the moment translates to
this translation is obviously wrong.