Value Members

1.  object AndLeftWithEmptySuccedent extends Script
2.  object OrLeftWithEmptySuccedent extends Script
3.  object classicalPairing extends Script
4.  object contractRightWithWrongFocus extends Script
5.  object cut1 extends Script
6.  object cut2 extends Script
7.  object definitionLeftRule extends Script
8.  object definitionRightRule extends Script
9.  object definitionRightRule2 extends Script
10.  object demorgan1 extends Script
11.  object demorgan2 extends Script
12.  object equalityLeft extends Script
13.  object equalityLeftEmptySuc extends Script
14.  object equalityRight extends Script
15.  object ex0_1_6 extends Script
16.  object ex0_1_6_short extends Script
17.  object example1 extends Script
18.  object impLeft1 extends Script
19.  object impLeft2 extends Script
20.  object impRight1 extends Script
21.  object impRight2 extends Script
22.  object induction extends Script
23.  object inductionRule extends Script
24.  object lem extends Script
25.  object negLeft extends Script
26.  object negLeftFollowedByNegRight extends Script
27.  object negLeftRight1 extends Script
28.  object negRight1 extends Script
29.  object orLeft1 extends Script
30.  object orLeft2 extends Script
31.  object orLeft3 extends Script
32.  object orLeft4 extends Script
33.  object orLeft5 extends Script
34.  object orRight1 extends Script
35.  object orRight2 extends Script
36.  object proofLink extends Script
37.  object proofLink2 extends Script
38.  object proofLink3 extends Script
39.  object weakenContractRight1 extends Script
40.  object weakeningRight extends Script
41.  object weakeningRight1 extends Script
42.  object weakeningRight2 extends Script
43.  object weakeningRightWithWrongFocus extends Script