Logiweb dictionary of frozen

Up Help

0	0	frozen
1	0	numeral zero
2	0	numeral one
3	0	numeral two
4	0	numeral three
5	0	numeral four
6	0	numeral five
7	0	numeral six
8	0	numeral seven
9	0	numeral eight
10	0	numeral nine
11	0	rule div
12	0	rule r
13	0	rule r one
14	0	rule r two
15	0	rule r three
16	0	rule r four
17	0	rule r five
18	0	rule r six
19	0	conjel1
20	0	conjel2
21	0	conjin
22	0	disjin1
23	0	disjin2
24	0	t one
25	0	t zero
26	0	h zero a
27	0	h zero b
28	0	h one
29	0	h two
30	0	axiom s ten
31	0	prop three two
32	0	prop three two i
33	0	prop three two j one
34	0	prop three two j two
35	0	prop three two j
36	0	prop three two k one
37	0	prop three two k two
38	0	prop three two k
39	0	prop three two l one
40	0	prop three two l two
41	0	prop three two l
42	0	prop three two m one
43	0	prop three two m two
44	0	prop three two m
45	0	prop three two n one
46	0	prop three two n two
47	0	prop three two n
48	0	prop three two o
49	0	prop three four
50	0	prop three four a one
51	0	prop three four a two
52	0	prop three four a
53	0	prop three four b
54	0	prop three four c one
55	0	prop three four c two
56	0	prop three four c
57	0	prop three four d one
58	0	prop three four d two
59	0	prop three four d
60	0	prop three five
61	0	prop three five a
62	0	prop three five b
63	0	prop three five c
64	0	prop three five d one
65	0	prop three five d two
66	0	prop three five d
67	0	prop three five e one
68	0	prop three five e two
69	0	prop three five e
70	0	prop three five f one
71	0	prop three five f two
72	0	prop three five f
73	0	prop three five g one
74	0	prop three five g two
75	0	prop three five g
76	0	prop three five h one
77	0	prop three five h two
78	0	prop three five h
79	0	prop three five i one
80	0	prop three five i two
81	0	prop three five i
82	0	prop three five j one
83	0	prop three five j two
84	0	prop three five j
85	0	prop three seven
86	0	prop three seven a
87	0	prop three seven b
88	0	prop three seven c
89	0	prop three seven d
90	0	prop three seven e
91	0	prop three seven f
92	0	prop three seven g
93	0	prop three seven g mark
94	0	prop three seven h
95	0	prop three seven i
96	0	prop three seven j
97	0	prop three seven k
98	0	prop three seven k mark
99	0	prop three seven l
100	0	prop three seven l mark
101	0	prop three seven m
102	0	prop three seven n
103	0	prop three seven o
104	0	prop three seven p
105	0	prop three seven q
106	0	prop three seven r
107	0	prop three seven s
108	0	prop three seven t
109	0	prop three seven u
110	0	prop three seven u mark
111	0	prop three seven v
112	0	prop three seven w
113	0	prop three seven x
114	0	prop three seven x mark
115	0	prop three seven y
116	0	prop three seven y mark
117	0	prop three seven z
118	0	prop three seven z mark
119	0	prop three ten
120	0	prop three ten a
121	0	prop three ten b
122	0	prop three ten c
123	0	prop three ten d
124	0	prop three ten e
125	0	prop three ten f
126	0	prop three ten g
127	0	prop three ten h
128	0	prop three eleven
129	2	{MissingArg} ist {MissingArg}
130	2	{MissingArg} istq {MissingArg}
131	2	{MissingArg} inst {MissingArg}
132	2	{MissingArg} igt {MissingArg}
133	2	{MissingArg} igtq {MissingArg}
134	2	{MissingArg} ingt {MissingArg}
135	2	{MissingArg} neq {MissingArg}
136	2	{MissingArg} and1 {MissingArg}
137	2	{MissingArg} or1 {MissingArg}
138	2	exists {MissingArg} indeed {MissingArg}
139	2	{MissingArg} divides {MissingArg}
140	1	{MissingArg} ldots