yeah! a new release: 0.04.05

we are back again and have formal proofs for some more propositions
A -> (B -> (A & B)), ((A -> B) & (B -> C)) -> (A -> C), ((A -> C) & (B -> C)) -> ((A ∨ B) -> C), ((A & B) v C) -> ((A v C) & (B v C)), ((A ∨ C) & (B ∨ C)) -> ((A & B) ∨ C)
Various test classes and tests were added. Some minor bugs were fixed and now we can search in text areas.

Posted by Michael Meyling 2013-02-10