Replace the where all-fail premise with an otherwise rule kind.

Submitted by Vlad Vergu on 20 May 2014 at 16:11

Log in to post comments