Replace all-fail with otherwise
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
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