Logiweb dictionary of check

Up Help

0	0	check
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	deduction
58	0	axiom s one
59	0	axiom s two
60	0	axiom s three
61	0	axiom s four
62	0	axiom s five
63	0	axiom s six
64	0	axiom s seven
65	0	axiom s eight
66	0	axiom s nine
67	0	repetition
68	0	lemma a one
69	0	lemma a two
70	0	lemma a four
71	0	lemma a five
72	0	prop three two a
73	0	prop three two b
74	0	prop three two c
75	0	prop three two d
76	0	prop three two e one
77	0	prop three two e two
78	0	prop three two e
79	0	prop three two f one
80	0	prop three two f two
81	0	prop three two f
82	0	prop three two g one
83	0	prop three two g two
84	0	prop three two g
85	0	prop three two h one
86	0	prop three two h two
87	0	prop three two h
88	3	block one {MissingArg} state {MissingArg} cache {MissingArg} end block
89	1	block two {MissingArg} end block
90	1	{MissingArg} hide
91	1	macro indent {MissingArg}
92	1	{MissingArg} suc
93	2	{MissingArg} equal {MissingArg}
94	2	{MissingArg} unequal {MissingArg}
95	1	{MissingArg} is object var
96	2	{MissingArg} avoid zero {MissingArg}
97	2	{MissingArg} avoid one {MissingArg}
98	2	{MissingArg} avoid star {MissingArg}
99	2	exist {MissingArg} indeed {MissingArg}
100	2	for all {MissingArg} indeed {MissingArg}
101	2	for all objects {MissingArg} indeed {MissingArg}
102	2	{MissingArg} imply {MissingArg}
103	2	{MissingArg} if and only if {MissingArg}
104	2	{MissingArg} avoid {MissingArg}
105	2	{MissingArg} object modus ponens {MissingArg}
106	2	for all terms {MissingArg} indeed {MissingArg}
107	3	block {MissingArg} line {MissingArg} end block {MissingArg}
108	2	because {MissingArg} indeed {MissingArg} end line
109	2	any term {MissingArg} end line {MissingArg}
110	2	{MissingArg} alternative {MissingArg}
111	0	evaluates to
112	2	{MissingArg} safe row {MissingArg}