0 | 0 | pok |
1 | 2 | general macro define {MissingArg} as {MissingArg} end define |
2 | 1 | make root visible {MissingArg} end visible |
3 | 0 | sequent example axiom |
4 | 0 | sequent example rule |
5 | 0 | sequent example contradiction |
6 | 0 | sequent example theory |
7 | 0 | sequent example lemma |
8 | 1 | set {MissingArg} end set |
9 | 1 | object var {MissingArg} end var |
10 | 0 | object a |
11 | 0 | object b |
12 | 0 | object c |
13 | 0 | object d |
14 | 0 | object e |
15 | 0 | object f |
16 | 0 | object g |
17 | 0 | object h |
18 | 0 | object i |
19 | 0 | object j |
20 | 0 | object k |
21 | 0 | object l |
22 | 0 | object m |
23 | 0 | object n |
24 | 0 | object o |
25 | 0 | object p |
26 | 0 | object q |
27 | 0 | object r |
28 | 0 | object s |
29 | 0 | object t |
30 | 0 | object u |
31 | 0 | object v |
32 | 0 | object w |
33 | 0 | object x |
34 | 0 | object y |
35 | 0 | object z |
36 | 4 | sub {MissingArg} is {MissingArg} where {MissingArg} is {MissingArg} end sub |
37 | 4 | sub zero {MissingArg} is {MissingArg} where {MissingArg} is {MissingArg} end sub |
38 | 4 | sub one {MissingArg} is {MissingArg} where {MissingArg} is {MissingArg} end sub |
39 | 4 | sub star {MissingArg} is {MissingArg} where {MissingArg} is {MissingArg} end sub |
40 | 2 | deduction {MissingArg} conclude {MissingArg} end deduction |
41 | 2 | deduction zero {MissingArg} conclude {MissingArg} end deduction |
42 | 3 | deduction one {MissingArg} conclude {MissingArg} condition {MissingArg} end deduction |
43 | 3 | deduction two {MissingArg} conclude {MissingArg} condition {MissingArg} end deduction |
44 | 4 | deduction three {MissingArg} conclude {MissingArg} condition {MissingArg} bound {MissingArg} end deduction |
45 | 4 | deduction four {MissingArg} conclude {MissingArg} condition {MissingArg} bound {MissingArg} end deduction |
46 | 4 | deduction four star {MissingArg} conclude {MissingArg} condition {MissingArg} bound {MissingArg} end deduction |
47 | 3 | deduction five {MissingArg} condition {MissingArg} bound {MissingArg} end deduction |
48 | 4 | deduction six {MissingArg} conclude {MissingArg} exception {MissingArg} bound {MissingArg} end deduction |
49 | 4 | deduction six star {MissingArg} conclude {MissingArg} exception {MissingArg} bound {MissingArg} end deduction |
50 | 1 | deduction seven {MissingArg} end deduction |
51 | 2 | deduction eight {MissingArg} bound {MissingArg} end deduction |
52 | 2 | deduction eight star {MissingArg} bound {MissingArg} end deduction |
53 | 0 | system s |
54 | 0 | double negation |
55 | 0 | rule mp |
56 | 0 | rule gen |
57 | 0 | rule div |
58 | 0 | deduction |
59 | 0 | axiom s one |
60 | 0 | axiom s two |
61 | 0 | axiom s three |
62 | 0 | axiom s four |
63 | 0 | axiom s five |
64 | 0 | axiom s six |
65 | 0 | axiom s seven |
66 | 0 | axiom s eight |
67 | 0 | axiom s nine |
68 | 0 | axiom s ten |
69 | 0 | repetition |
70 | 0 | lemma a one |
71 | 0 | lemma a two |
72 | 0 | lemma a four |
73 | 0 | lemma a five |
74 | 0 | prop three two a |
75 | 0 | prop three two b |
76 | 0 | prop three two c |
77 | 0 | prop three two d |
78 | 0 | prop three two e one |
79 | 0 | prop three two e two |
80 | 0 | prop three two e |
81 | 0 | prop three two f one |
82 | 0 | prop three two f two |
83 | 0 | prop three two f |
84 | 0 | prop three two g one |
85 | 0 | prop three two g two |
86 | 0 | prop three two g |
87 | 0 | prop three two h one |
88 | 0 | prop three two h two |
89 | 0 | prop three two h |
90 | 0 | prop three two i |
91 | 0 | prop three two j one |
92 | 0 | prop three two j two |
93 | 0 | prop three two j |
94 | 0 | prop three two k one |
95 | 0 | prop three two k two |
96 | 0 | prop three two k |
97 | 0 | prop three two l one |
98 | 0 | prop three two l two |
99 | 0 | prop three two l |
100 | 0 | prop three two m one |
101 | 0 | prop three two m two |
102 | 0 | prop three two m |
103 | 0 | prop three two n one |
104 | 0 | prop three two n two |
105 | 0 | prop three two n |
106 | 0 | prop three two o |
107 | 0 | prop three four a one |
108 | 0 | prop three four a two |
109 | 0 | prop three four a |
110 | 0 | prop three four b |
111 | 0 | prop three four c one |
112 | 0 | prop three four c two |
113 | 0 | prop three four c |
114 | 0 | prop three four d one |
115 | 0 | prop three four d two |
116 | 0 | prop three four d |
117 | 3 | block one {MissingArg} state {MissingArg} cache {MissingArg} end block |
118 | 1 | block two {MissingArg} end block |
119 | 1 | {MissingArg} hide |
120 | 1 | macro indent {MissingArg} |
121 | 1 | {MissingArg} suc |
122 | 2 | {MissingArg} equal {MissingArg} |
123 | 2 | {MissingArg} unequal {MissingArg} |
124 | 1 | {MissingArg} is object var |
125 | 2 | {MissingArg} avoid zero {MissingArg} |
126 | 2 | {MissingArg} avoid one {MissingArg} |
127 | 2 | {MissingArg} avoid star {MissingArg} |
128 | 2 | exist {MissingArg} indeed {MissingArg} |
129 | 2 | for all {MissingArg} indeed {MissingArg} |
130 | 2 | for all objects {MissingArg} indeed {MissingArg} |
131 | 2 | {MissingArg} imply {MissingArg} |
132 | 2 | {MissingArg} if and only if {MissingArg} |
133 | 2 | {MissingArg} avoid {MissingArg} |
134 | 2 | {MissingArg} object modus ponens {MissingArg} |
135 | 2 | for all terms {MissingArg} indeed {MissingArg} |
136 | 3 | block {MissingArg} line {MissingArg} end block {MissingArg} |
137 | 2 | because {MissingArg} indeed {MissingArg} end line |
138 | 2 | any term {MissingArg} end line {MissingArg} |
139 | 2 | {MissingArg} alternative {MissingArg} |
140 | 0 | evaluates to |
141 | 2 | {MissingArg} safe row {MissingArg} |
142 | 2 | {MissingArg} divides {MissingArg} |
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,