Logiweb dictionary of base

Up Help

0	0	base
1	2	proclaim {MissingArg} as {MissingArg} end proclaim
2	1	unicode start of text {MissingArg} end unicode text
3	0	unicode end of text
4	2	{MissingArg} , {MissingArg}
5	3	{MissingArg} [ {MissingArg} ] {MissingArg}
6	2	preassociative {MissingArg} greater than {MissingArg}
7	2	postassociative {MissingArg} greater than {MissingArg}
8	2	priority {MissingArg} equal {MissingArg}
9	1	priority {MissingArg} end priority
10	1	unicode newline {MissingArg}
11	0	x
12	1	text {MissingArg} end text
13	2	text {MissingArg} plus {MissingArg}
14	2	text {MissingArg} plus indent {MissingArg}
15	0	pyk
16	3	define {MissingArg} of {MissingArg} as {MissingArg} end define
17	2	{MissingArg} linebreak {MissingArg}
18	1	bracket {MissingArg} end bracket
19	1	big bracket {MissingArg} end bracket
20	1	math {MissingArg} end math
21	1	flush left {MissingArg} end left
22	0	var x
23	0	var y
24	0	var z
25	0	tex
26	0	tex name
27	0	priority
28	0	true
29	3	if {MissingArg} then {MissingArg} else {MissingArg} end if
30	3	introduce {MissingArg} of {MissingArg} as {MissingArg} end introduce
31	0	value
32	1	unicode space {MissingArg}
33	1	unicode exclamation mark {MissingArg}
34	1	unicode quotation mark {MissingArg}
35	1	unicode number sign {MissingArg}
36	1	unicode dollar sign {MissingArg}
37	1	unicode percent {MissingArg}
38	1	unicode ampersand {MissingArg}
39	1	unicode apostrophe {MissingArg}
40	1	unicode left parenthesis {MissingArg}
41	1	unicode right parenthesis {MissingArg}
42	1	unicode asterisk {MissingArg}
43	1	unicode plus sign {MissingArg}
44	1	unicode comma {MissingArg}
45	1	unicode hyphen {MissingArg}
46	1	unicode period {MissingArg}
47	1	unicode slash {MissingArg}
48	1	unicode zero {MissingArg}
49	1	unicode one {MissingArg}
50	1	unicode two {MissingArg}
51	1	unicode three {MissingArg}
52	1	unicode four {MissingArg}
53	1	unicode five {MissingArg}
54	1	unicode six {MissingArg}
55	1	unicode seven {MissingArg}
56	1	unicode eight {MissingArg}
57	1	unicode nine {MissingArg}
58	1	unicode colon {MissingArg}
59	1	unicode semicolon {MissingArg}
60	1	unicode less than {MissingArg}
61	1	unicode equal sign {MissingArg}
62	1	unicode greater than {MissingArg}
63	1	unicode question mark {MissingArg}
64	1	unicode commercial at {MissingArg}
65	1	unicode capital a {MissingArg}
66	1	unicode capital b {MissingArg}
67	1	unicode capital c {MissingArg}
68	1	unicode capital d {MissingArg}
69	1	unicode capital e {MissingArg}
70	1	unicode capital f {MissingArg}
71	1	unicode capital g {MissingArg}
72	1	unicode capital h {MissingArg}
73	1	unicode capital i {MissingArg}
74	1	unicode capital j {MissingArg}
75	1	unicode capital k {MissingArg}
76	1	unicode capital l {MissingArg}
77	1	unicode capital m {MissingArg}
78	1	unicode capital n {MissingArg}
79	1	unicode capital o {MissingArg}
80	1	unicode capital p {MissingArg}
81	1	unicode capital q {MissingArg}
82	1	unicode capital r {MissingArg}
83	1	unicode capital s {MissingArg}
84	1	unicode capital t {MissingArg}
85	1	unicode capital u {MissingArg}
86	1	unicode capital v {MissingArg}
87	1	unicode capital w {MissingArg}
88	1	unicode capital x {MissingArg}
89	1	unicode capital y {MissingArg}
90	1	unicode capital z {MissingArg}
91	1	unicode left bracket {MissingArg}
92	1	unicode backslash {MissingArg}
93	1	unicode right bracket {MissingArg}
94	1	unicode circumflex {MissingArg}
95	1	unicode underscore {MissingArg}
96	1	unicode grave accent {MissingArg}
97	1	unicode small a {MissingArg}
98	1	unicode small b {MissingArg}
99	1	unicode small c {MissingArg}
100	1	unicode small d {MissingArg}
101	1	unicode small e {MissingArg}
102	1	unicode small f {MissingArg}
103	1	unicode small g {MissingArg}
104	1	unicode small h {MissingArg}
105	1	unicode small i {MissingArg}
106	1	unicode small j {MissingArg}
107	1	unicode small k {MissingArg}
108	1	unicode small l {MissingArg}
109	1	unicode small m {MissingArg}
110	1	unicode small n {MissingArg}
111	1	unicode small o {MissingArg}
112	1	unicode small p {MissingArg}
113	1	unicode small q {MissingArg}
114	1	unicode small r {MissingArg}
115	1	unicode small s {MissingArg}
116	1	unicode small t {MissingArg}
117	1	unicode small u {MissingArg}
118	1	unicode small v {MissingArg}
119	1	unicode small w {MissingArg}
120	1	unicode small x {MissingArg}
121	1	unicode small y {MissingArg}
122	1	unicode small z {MissingArg}
123	1	unicode left brace {MissingArg}
124	1	unicode vertical line {MissingArg}
125	1	unicode right brace {MissingArg}
126	1	unicode tilde {MissingArg}
127	0	claim
128	0	bottom
129	1	function f of {MissingArg} end function
130	1	identity {MissingArg} end identity
131	0	false
132	0	untagged zero
133	0	untagged one
134	0	untagged two
135	0	untagged three
136	0	untagged four
137	0	untagged five
138	0	untagged six
139	0	untagged seven
140	0	untagged eight
141	0	untagged nine
142	0	zero
143	0	one
144	0	two
145	0	three
146	0	four
147	0	five
148	0	six
149	0	seven
150	0	eight
151	0	nine
152	0	var a
153	0	var b
154	0	var c
155	0	var d
156	0	var e
157	0	var f
158	0	var g
159	0	var h
160	0	var i
161	0	var j
162	0	var k
163	0	var l
164	0	var m
165	0	var n
166	0	var o
167	0	var p
168	0	var q
169	0	var r
170	0	var s
171	0	var t
172	0	var u
173	0	var v
174	0	var w
175	1	tagged parenthesis {MissingArg} end tagged
176	3	tagged if {MissingArg} then {MissingArg} else {MissingArg} end if
177	2	array {MissingArg} is {MissingArg} end array
178	0	left
179	0	center
180	0	right
181	0	empty
182	3	substitute {MissingArg} set {MissingArg} to {MissingArg} end substitute
183	1	map tag {MissingArg} end tag
184	1	raw map untag {MissingArg} end untag
185	1	map untag {MissingArg} end untag
186	1	normalizing untag {MissingArg} end untag
187	2	apply {MissingArg} to {MissingArg} end apply
188	2	apply one {MissingArg} to {MissingArg} end apply
189	1	identifier {MissingArg} end identifier
190	2	identifier one {MissingArg} plus id {MissingArg} end identifier
191	2	array plus {MissingArg} and {MissingArg} end plus
192	3	array remove {MissingArg} array {MissingArg} level {MissingArg} end remove
193	4	array put {MissingArg} value {MissingArg} array {MissingArg} level {MissingArg} end put
194	5	array add {MissingArg} value {MissingArg} index {MissingArg} value {MissingArg} level {MissingArg} end add
195	2	bit {MissingArg} of {MissingArg} end bit
196	2	bit one {MissingArg} of {MissingArg} end bit
197	0	example rack
198	0	vector hook
199	0	bibliography hook
200	0	dictionary hook
201	0	body hook
202	0	codex hook
203	0	expansion hook
204	0	code hook
205	0	cache hook
206	0	diagnose hook
207	0	pyk aspect
208	0	tex aspect
209	0	texname aspect
210	0	value aspect
211	0	message aspect
212	0	macro aspect
213	0	definition aspect
214	0	unpack aspect
215	0	claim aspect
216	0	priority aspect
217	0	lambda identifier
218	0	apply identifier
219	0	true identifier
220	0	if identifier
221	0	quote identifier
222	0	proclaim identifier
223	0	define identifier
224	0	introduce identifier
225	0	hide identifier
226	0	pre identifier
227	0	post identifier
228	3	eval {MissingArg} stack {MissingArg} cache {MissingArg} end eval
229	5	eval two {MissingArg} ref {MissingArg} id {MissingArg} stack {MissingArg} cache {MissingArg} end eval
230	4	eval three {MissingArg} function {MissingArg} stack {MissingArg} cache {MissingArg} end eval
231	4	eval four {MissingArg} arguments {MissingArg} stack {MissingArg} cache {MissingArg} end eval
232	3	lookup {MissingArg} stack {MissingArg} default {MissingArg} end lookup
233	4	abstract {MissingArg} term {MissingArg} stack {MissingArg} cache {MissingArg} end abstract
234	1	quote {MissingArg} end quote
235	3	expand {MissingArg} state {MissingArg} cache {MissingArg} end expand
236	4	expand two {MissingArg} definition {MissingArg} state {MissingArg} cache {MissingArg} end expand
237	3	expand list {MissingArg} state {MissingArg} cache {MissingArg} end expand
238	0	macro
239	0	macro state
240	2	zip {MissingArg} with {MissingArg} end zip
241	3	assoc one {MissingArg} address {MissingArg} index {MissingArg} end assoc
242	1	protect {MissingArg} end protect
243	0	self
244	2	macro define {MissingArg} as {MissingArg} end define
245	2	value define {MissingArg} as {MissingArg} end define
246	2	intro define {MissingArg} as {MissingArg} end define
247	2	pyk define {MissingArg} as {MissingArg} end define
248	2	tex define {MissingArg} as {MissingArg} end define
249	2	tex name define {MissingArg} as {MissingArg} end define
250	1	priority table {MissingArg} end table
251	0	macro define one
252	1	macro define two {MissingArg} end define
253	1	macro define three {MissingArg} end define
254	4	macro define four {MissingArg} state {MissingArg} cache {MissingArg} definition {MissingArg} end define
255	3	state expand {MissingArg} state {MissingArg} cache {MissingArg} end expand
256	3	quote expand {MissingArg} term {MissingArg} stack {MissingArg} end expand
257	3	quote expand two {MissingArg} term {MissingArg} stack {MissingArg} end expand
258	4	quote expand three {MissingArg} term {MissingArg} stack {MissingArg} value {MissingArg} end expand
259	3	quote expand star {MissingArg} term {MissingArg} stack {MissingArg} end expand
260	1	parenthesis {MissingArg} end parenthesis
261	1	big parenthesis {MissingArg} end parenthesis
262	1	display {MissingArg} end display
263	1	statement {MissingArg} end statement
264	1	spying test {MissingArg} end test
265	1	false spying test {MissingArg} end test
266	2	aspect {MissingArg} subcodex {MissingArg} end aspect
267	3	aspect {MissingArg} term {MissingArg} cache {MissingArg} end aspect
268	1	tuple {MissingArg} end tuple
269	1	tuple one {MissingArg} end tuple
270	1	tuple two {MissingArg} end tuple
271	2	let two {MissingArg} apply {MissingArg} end let
272	2	let one {MissingArg} apply {MissingArg} end let
273	2	claim define {MissingArg} as {MissingArg} end define
274	0	checker
275	2	check {MissingArg} cache {MissingArg} end check
276	3	check two {MissingArg} cache {MissingArg} def {MissingArg} end check
277	3	check three {MissingArg} cache {MissingArg} def {MissingArg} end check
278	2	check list {MissingArg} cache {MissingArg} end check
279	3	check list two {MissingArg} cache {MissingArg} value {MissingArg} end check
280	1	test {MissingArg} end test
281	1	false test {MissingArg} end test
282	1	raw test {MissingArg} end test
283	0	message
284	2	message define {MissingArg} as {MissingArg} end define
285	0	the statement aspect
286	0	statement
287	2	statement define {MissingArg} as {MissingArg} end define
288	0	example axiom
289	0	example scheme
290	0	example rule
291	0	absurdity
292	0	contraexample
293	0	example theory primed
294	0	example lemma
295	1	metavar {MissingArg} end metavar
296	0	meta a
297	0	meta b
298	0	meta c
299	0	meta d
300	0	meta e
301	0	meta f
302	0	meta g
303	0	meta h
304	0	meta i
305	0	meta j
306	0	meta k
307	0	meta l
308	0	meta m
309	0	meta n
310	0	meta o
311	0	meta p
312	0	meta q
313	0	meta r
314	0	meta s
315	0	meta t
316	0	meta u
317	0	meta v
318	0	meta w
319	0	meta x
320	0	meta y
321	0	meta z
322	3	sub {MissingArg} set {MissingArg} to {MissingArg} end sub
323	3	sub star {MissingArg} set {MissingArg} to {MissingArg} end sub
324	0	the empty set
325	0	example remainder
326	1	make visible {MissingArg} end visible
327	4	intro {MissingArg} index {MissingArg} pyk {MissingArg} tex {MissingArg} end intro
328	3	intro {MissingArg} pyk {MissingArg} tex {MissingArg} end intro
329	2	error {MissingArg} term {MissingArg} end error
330	2	error two {MissingArg} term {MissingArg} end error
331	3	proof {MissingArg} term {MissingArg} cache {MissingArg} end proof
332	2	proof two {MissingArg} term {MissingArg} end proof
333	2	sequent eval {MissingArg} term {MissingArg} end eval
334	2	seqeval init {MissingArg} term {MissingArg} end eval
335	2	seqeval modus {MissingArg} term {MissingArg} end eval
336	3	seqeval modus one {MissingArg} term {MissingArg} sequent {MissingArg} end eval
337	2	seqeval verify {MissingArg} term {MissingArg} end eval
338	3	seqeval verify one {MissingArg} term {MissingArg} sequent {MissingArg} end eval
339	2	sequent eval plus {MissingArg} term {MissingArg} end eval
340	3	seqeval plus one {MissingArg} term {MissingArg} sequent {MissingArg} end eval
341	2	seqeval minus {MissingArg} term {MissingArg} end eval
342	3	seqeval minus one {MissingArg} term {MissingArg} sequent {MissingArg} end eval
343	2	seqeval deref {MissingArg} term {MissingArg} end eval
344	3	seqeval deref one {MissingArg} term {MissingArg} sequent {MissingArg} end eval
345	4	seqeval deref two {MissingArg} term {MissingArg} sequent {MissingArg} def {MissingArg} end eval
346	2	seqeval at {MissingArg} term {MissingArg} end eval
347	3	seqeval at one {MissingArg} term {MissingArg} sequent {MissingArg} end eval
348	2	seqeval infer {MissingArg} term {MissingArg} end eval
349	4	seqeval infer one {MissingArg} term {MissingArg} premise {MissingArg} sequent {MissingArg} end eval
350	2	seqeval endorse {MissingArg} term {MissingArg} end eval
351	4	seqeval endorse one {MissingArg} term {MissingArg} side {MissingArg} sequent {MissingArg} end eval
352	2	seqeval est {MissingArg} term {MissingArg} end eval
353	4	seqeval est one {MissingArg} term {MissingArg} name {MissingArg} sequent {MissingArg} end eval
354	5	seqeval est two {MissingArg} term {MissingArg} name {MissingArg} sequent {MissingArg} def {MissingArg} end eval
355	2	seqeval all {MissingArg} term {MissingArg} end eval
356	4	seqeval all one {MissingArg} term {MissingArg} variable {MissingArg} sequent {MissingArg} end eval
357	2	seqeval cut {MissingArg} term {MissingArg} end eval
358	3	seqeval cut one {MissingArg} term {MissingArg} forerunner {MissingArg} end eval
359	4	seqeval cut two {MissingArg} term {MissingArg} forerunner {MissingArg} sequent {MissingArg} end eval
360	1	computably true {MissingArg} end true
361	3	claims {MissingArg} cache {MissingArg} ref {MissingArg} end claims
362	3	claims two {MissingArg} cache {MissingArg} ref {MissingArg} end claims
363	0	the proof aspect
364	0	proof
365	2	lemma {MissingArg} says {MissingArg} end lemma
366	2	proof of {MissingArg} reads {MissingArg} end proof
367	3	in theory {MissingArg} lemma {MissingArg} says {MissingArg} end lemma
368	3	in theory {MissingArg} antilemma {MissingArg} says {MissingArg} end antilemma
369	3	in theory {MissingArg} rule {MissingArg} says {MissingArg} end rule
370	3	in theory {MissingArg} antirule {MissingArg} says {MissingArg} end antirule
371	0	verifier
372	1	verify one {MissingArg} end verify
373	2	verify two {MissingArg} proofs {MissingArg} end verify
374	4	verify three {MissingArg} ref {MissingArg} sequents {MissingArg} diagnose {MissingArg} end verify
375	2	verify four {MissingArg} premises {MissingArg} end verify
376	4	verify five {MissingArg} ref {MissingArg} array {MissingArg} sequents {MissingArg} end verify
377	4	verify six {MissingArg} ref {MissingArg} list {MissingArg} sequents {MissingArg} end verify
378	4	verify seven {MissingArg} ref {MissingArg} id {MissingArg} sequents {MissingArg} end verify
379	2	cut {MissingArg} and {MissingArg} end cut
380	1	head {MissingArg} end head
381	1	tail {MissingArg} end tail
382	2	rule one {MissingArg} theory {MissingArg} end rule
383	2	rule {MissingArg} subcodex {MissingArg} end rule
384	0	rule tactic
385	2	plus {MissingArg} and {MissingArg} end plus
386	1	theory {MissingArg} end theory
387	2	theory two {MissingArg} cache {MissingArg} end theory
388	2	theory three {MissingArg} name {MissingArg} end theory
389	3	theory four {MissingArg} name {MissingArg} sum {MissingArg} end theory
390	0	example axiom lemma primed
391	0	example scheme lemma primed
392	0	example rule lemma primed
393	0	contraexample lemma primed
394	0	example axiom lemma
395	0	example scheme lemma
396	0	example rule lemma
397	0	contraexample lemma
398	0	example theory
399	0	ragged right
400	0	ragged right expansion
401	3	parameter term {MissingArg} stack {MissingArg} seed {MissingArg} end parameter
402	3	parameter term star {MissingArg} stack {MissingArg} seed {MissingArg} end parameter
403	2	instantiate {MissingArg} with {MissingArg} end instantiate
404	2	instantiate star {MissingArg} with {MissingArg} end instantiate
405	3	occur {MissingArg} in {MissingArg} substitution {MissingArg} end occur
406	3	occur star {MissingArg} in {MissingArg} substitution {MissingArg} end occur
407	3	unify {MissingArg} with {MissingArg} substitution {MissingArg} end unify
408	3	unify star {MissingArg} with {MissingArg} substitution {MissingArg} end unify
409	3	unify two {MissingArg} with {MissingArg} substitution {MissingArg} end unify
410	0	ell a
411	0	ell b
412	0	ell c
413	0	ell d
414	0	ell e
415	0	ell f
416	0	ell g
417	0	ell h
418	0	ell i
419	0	ell j
420	0	ell k
421	0	ell l
422	0	ell m
423	0	ell n
424	0	ell o
425	0	ell p
426	0	ell q
427	0	ell r
428	0	ell s
429	0	ell t
430	0	ell u
431	0	ell v
432	0	ell w
433	0	ell x
434	0	ell y
435	0	ell z
436	0	ell big a
437	0	ell big b
438	0	ell big c
439	0	ell big d
440	0	ell big e
441	0	ell big f
442	0	ell big g
443	0	ell big h
444	0	ell big i
445	0	ell big j
446	0	ell big k
447	0	ell big l
448	0	ell big m
449	0	ell big n
450	0	ell big o
451	0	ell big p
452	0	ell big q
453	0	ell big r
454	0	ell big s
455	0	ell big t
456	0	ell big u
457	0	ell big v
458	0	ell big w
459	0	ell big x
460	0	ell big y
461	0	ell big z
462	0	ell dummy
463	0	sequent reflexivity
464	0	tactic reflexivity
465	0	sequent commutativity
466	0	tactic commutativity
467	0	the tactic aspect
468	0	tactic
469	2	tactic define {MissingArg} as {MissingArg} end define
470	3	proof expand {MissingArg} state {MissingArg} cache {MissingArg} end expand
471	3	proof expand list {MissingArg} state {MissingArg} cache {MissingArg} end expand
472	0	proof state
473	2	conclude one {MissingArg} cache {MissingArg} end conclude
474	3	conclude two {MissingArg} proves {MissingArg} cache {MissingArg} end conclude
475	4	conclude three {MissingArg} proves {MissingArg} lemma {MissingArg} substitution {MissingArg} end conclude
476	2	conclude four {MissingArg} lemma {MissingArg} end conclude
477	2	{MissingArg} sub {MissingArg} end sub
478	5	{MissingArg} intro {MissingArg} index {MissingArg} pyk {MissingArg} tex {MissingArg} end intro
479	4	{MissingArg} intro {MissingArg} pyk {MissingArg} tex {MissingArg} end intro
480	6	{MissingArg} intro {MissingArg} index {MissingArg} pyk {MissingArg} tex {MissingArg} name {MissingArg} end intro
481	5	{MissingArg} intro {MissingArg} pyk {MissingArg} tex {MissingArg} name {MissingArg} end intro
482	1	{MissingArg} prime
483	2	{MissingArg} assoc {MissingArg} end assoc
484	3	{MissingArg} set {MissingArg} to {MissingArg} end set
485	3	{MissingArg} set multi {MissingArg} to {MissingArg} end set
486	1	{MissingArg} bit nil
487	1	{MissingArg} bit one
488	0	binary
489	2	{MissingArg} color {MissingArg} end color
490	2	{MissingArg} color star {MissingArg} end color
491	1	{MissingArg} raw head
492	1	{MissingArg} raw tail
493	1	{MissingArg} cardinal untag
494	1	{MissingArg} head
495	1	{MissingArg} tail
496	1	{MissingArg} is singular
497	1	{MissingArg} is cardinal
498	1	{MissingArg} is data
499	1	{MissingArg} is atomic
500	1	{MissingArg} cardinal retract
501	1	{MissingArg} tagged retract
502	1	{MissingArg} boolean retract
503	1	{MissingArg} ref
504	1	{MissingArg} id
505	1	{MissingArg} debug
506	1	{MissingArg} root
507	1	{MissingArg} zeroth
508	1	{MissingArg} first
509	1	{MissingArg} second
510	1	{MissingArg} third
511	1	{MissingArg} fourth
512	1	{MissingArg} fifth
513	1	{MissingArg} sixth
514	1	{MissingArg} seventh
515	1	{MissingArg} eighth
516	1	{MissingArg} ninth
517	1	{MissingArg} is error
518	1	{MissingArg} is metavar
519	1	{MissingArg} is metaclosed
520	1	{MissingArg} is metaclosed star
521	1	newline {MissingArg}
522	1	macro newline {MissingArg}
523	2	{MissingArg} apply {MissingArg}
524	2	{MissingArg} tagged apply {MissingArg}
525	2	{MissingArg} times {MissingArg}
526	2	{MissingArg} times zero {MissingArg}
527	2	{MissingArg} plus {MissingArg}
528	2	{MissingArg} plus zero {MissingArg}
529	2	{MissingArg} plus one {MissingArg}
530	2	{MissingArg} minus {MissingArg}
531	2	{MissingArg} minus zero {MissingArg}
532	2	{MissingArg} minus one {MissingArg}
533	2	{MissingArg} term plus {MissingArg} end plus
534	2	{MissingArg} term union {MissingArg}
535	2	{MissingArg} term minus {MissingArg} end minus
536	2	{MissingArg} raw pair {MissingArg}
537	2	{MissingArg} eager pair {MissingArg}
538	2	{MissingArg} tagged pair {MissingArg}
539	2	{MissingArg} untagged double {MissingArg}
540	2	{MissingArg} pair {MissingArg}
541	2	{MissingArg} double {MissingArg}
542	2	{MissingArg} comma {MissingArg}
543	2	{MissingArg} boolean equal {MissingArg}
544	2	{MissingArg} data equal {MissingArg}
545	2	{MissingArg} cardinal equal {MissingArg}
546	2	{MissingArg} peano equal {MissingArg}
547	2	{MissingArg} tagged equal {MissingArg}
548	2	{MissingArg} math equal {MissingArg}
549	2	{MissingArg} reduce to {MissingArg}
550	2	{MissingArg} term equal {MissingArg}
551	2	{MissingArg} term list equal {MissingArg}
552	2	{MissingArg} term root equal {MissingArg}
553	2	{MissingArg} term in {MissingArg}
554	2	{MissingArg} term subset {MissingArg}
555	2	{MissingArg} term set equal {MissingArg}
556	2	{MissingArg} sequent equal {MissingArg}
557	2	{MissingArg} free in {MissingArg}
558	2	{MissingArg} free in star {MissingArg}
559	3	{MissingArg} free for {MissingArg} in {MissingArg}
560	3	{MissingArg} free for star {MissingArg} in {MissingArg}
561	2	{MissingArg} claim in {MissingArg}
562	2	{MissingArg} less {MissingArg}
563	2	{MissingArg} less zero {MissingArg}
564	2	{MissingArg} less one {MissingArg}
565	1	not {MissingArg}
566	2	{MissingArg} and {MissingArg}
567	2	{MissingArg} macro and {MissingArg}
568	2	{MissingArg} simple and {MissingArg}
569	2	{MissingArg} claim and {MissingArg}
570	2	{MissingArg} or {MissingArg}
571	2	{MissingArg} parallel {MissingArg}
572	2	{MissingArg} macro or {MissingArg}
573	2	{MissingArg} macro imply {MissingArg}
574	2	{MissingArg} guard {MissingArg}
575	2	{MissingArg} spy {MissingArg}
576	2	{MissingArg} tagged guard {MissingArg}
577	3	{MissingArg} select {MissingArg} else {MissingArg} end select
578	2	lambda {MissingArg} dot {MissingArg}
579	2	tagged lambda {MissingArg} dot {MissingArg}
580	1	tagging {MissingArg}
581	3	open if {MissingArg} then {MissingArg} else {MissingArg}
582	3	let {MissingArg} be {MissingArg} in {MissingArg}
583	3	let {MissingArg} abbreviate {MissingArg} in {MissingArg}
584	1	{MissingArg} init
585	1	{MissingArg} modus
586	1	{MissingArg} verify
587	1	{MissingArg} curry plus
588	1	{MissingArg} curry minus
589	1	{MissingArg} dereference
590	2	{MissingArg} at {MissingArg}
591	2	{MissingArg} modus ponens {MissingArg}
592	2	{MissingArg} modus probans {MissingArg}
593	2	{MissingArg} conclude {MissingArg}
594	2	{MissingArg} infer {MissingArg}
595	2	{MissingArg} endorse {MissingArg}
596	2	{MissingArg} id est {MissingArg}
597	2	all {MissingArg} indeed {MissingArg}
598	2	{MissingArg} rule plus {MissingArg}
599	2	{MissingArg} cut {MissingArg}
600	2	{MissingArg} proves {MissingArg}
601	3	{MissingArg} proof of {MissingArg} reads {MissingArg}
602	4	line {MissingArg} because {MissingArg} indeed {MissingArg} end line {MissingArg}
603	2	because {MissingArg} indeed {MissingArg} qed
604	3	line {MissingArg} premise {MissingArg} end line {MissingArg}
605	3	line {MissingArg} side condition {MissingArg} end line {MissingArg}
606	2	arbitrary {MissingArg} end line {MissingArg}
607	3	locally define {MissingArg} as {MissingArg} end line {MissingArg}
608	2	{MissingArg} tab {MissingArg}
609	2	{MissingArg} row {MissingArg}