closesSuccess.kps 233 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
script t1(){
    impRight;
    impLeft;
    cases{
        case closes {
            auto; //should close
        }:
            impRight; //should not close proof

        case match `==> imp(not(q),not(p))`:
         auto;
    }

}