Skip to content
Commit f54e873e authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Fixed: forall x phi as not exists x _not_ phi. 

The second negation was missing.
parent 6b0436db
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment