Logiweb dictionary of check

Up Help

0	0	check
1	3	parameter term * stack * seed * end parameter
2	3	parameter term star * stack * seed * end parameter
3	2	instantiate * with * end instantiate
4	2	instantiate star * with * end instantiate
5	2	occur * in * end occur
6	2	occur star * in * end occur
7	3	circular * term * substitution * end circular
8	3	circular star * term * substitution * end circular
9	3	unify * with * substitution * end unify
10	3	unify star * with * substitution * end unify
11	3	unify two * with * substitution * end unify
12	0	ell a
13	0	ell b
14	0	ell c
15	0	ell d
16	0	ell e
17	0	ell f
18	0	ell g
19	0	ell h
20	0	ell i
21	0	ell j
22	0	ell k
23	0	ell l
24	0	ell m
25	0	ell n
26	0	ell o
27	0	ell p
28	0	ell q
29	0	ell r
30	0	ell s
31	0	ell t
32	0	ell u
33	0	ell v
34	0	ell w
35	0	ell x
36	0	ell y
37	0	ell z
38	0	ell big a
39	0	ell big b
40	0	ell big c
41	0	ell big d
42	0	ell big e
43	0	ell big f
44	0	ell big g
45	0	ell big h
46	0	ell big i
47	0	ell big j
48	0	ell big k
49	0	ell big l
50	0	ell big m
51	0	ell big n
52	0	ell big o
53	0	ell big p
54	0	ell big q
55	0	ell big r
56	0	ell big s
57	0	ell big t
58	0	ell big u
59	0	ell big v
60	0	ell big w
61	0	ell big x
62	0	ell big y
63	0	ell big z
64	0	ell dummy
65	0	reflexivity lemma
66	0	reflexivity lemma one
67	0	commutativity lemma
68	0	the tactic aspect
69	0	tactic
70	2	tactic define * as * end define
71	3	proof expand * state * cache * end expand
72	3	proof expand list * state * cache * end expand
73	0	proof state
74	2	conclude one * cache * end conclude
75	3	conclude two * proves * cache * end conclude
76	4	conclude three * proves * lemma * substitution * end conclude
77	2	* modus ponens *
78	2	* modus probans *
79	2	* conclude *
80	3	* proof of * reads *
81	4	line * because * indeed * cut *
82	2	because * indeed * qed
83	3	line * premise * cut *
84	3	line * side condition * cut *
85	2	arbitrary * cut *
86	3	locally define * as * cut *