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

Added [Ewff|Conj]::And(). 

Perhaps ewffs should be restricted to conjunctions for simplicity.
parent 9a9b6beb
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment