0 | 0 | test |
1 | 0 | pred calc |
2 | 0 | pc1 |
3 | 0 | pc2 |
4 | 0 | pc3 |
5 | 0 | pc4 |
6 | 0 | pc5 |
7 | 0 | pc6 |
8 | 0 | pc7 |
9 | 0 | pc8 |
10 | 0 | pc9 |
11 | 0 | pc10 |
12 | 0 | pc11 |
13 | 0 | pc12 |
14 | 0 | pcmp |
15 | 0 | pcunsound |
16 | 0 | pcia |
17 | 0 | pcie |
18 | 0 | pcdeduction |
19 | 0 | trivia |
20 | 0 | repeat |
21 | 0 | andintro |
22 | 0 | andelim1 |
23 | 0 | andelim2 |
24 | 0 | orintro1 |
25 | 0 | orintro2 |
26 | 0 | orelim |
27 | 0 | notintro |
28 | 0 | implyintro |
29 | 0 | notnotintro |
30 | 0 | notnotelim |
31 | 0 | mt |
32 | 0 | pbc |
33 | 0 | lem |
34 | 0 | forallintro |
35 | 0 | forallelim |
36 | 0 | existsintro |
37 | 0 | existselim |
38 | 0 | bottomelim |
39 | 0 | lemnotintro |
40 | 0 | hlplem1 |
41 | 0 | hlplem2 |
42 | 0 | hlplem3 |
43 | 0 | hlplem4 |
44 | 0 | hlplem5 |
45 | 0 | goal1 |
46 | 0 | hlplem6 |
47 | 0 | goal2 |
48 | 2 | {MissingArg} setequiv {MissingArg} |
49 | 2 | {MissingArg} setequals {MissingArg} |
50 | 1 | lnot {MissingArg} |
51 | 2 | {MissingArg} land {MissingArg} |
52 | 2 | {MissingArg} lor {MissingArg} |
53 | 2 | forall {MissingArg} dot {MissingArg} end forall |
54 | 2 | exists {MissingArg} dot {MissingArg} end exists |
55 | 2 | {MissingArg} setin {MissingArg} |
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,