1 # waiting ####################################################################
3 aplus/props aplus_reg_r
4 aplus/props aplus_assoc
5 aplus/props aplus_asucc
6 aplus/props aplus_sort_O_S_simpl
7 aplus/props aplus_sort_S_S_simpl
8 aplus/props aplus_asort_O_simpl
9 aplus/props aplus_asort_le_simpl
10 aplus/props aplus_asort_simpl
11 aplus/props aplus_ahead_simpl
12 aplus/props aplus_asucc_false
14 aprem/fwd aprem_gen_sort
15 aprem/fwd aprem_gen_head_O
16 aprem/fwd aprem_gen_head_S
17 aprem/props aprem_repl
18 aprem/props aprem_asucc
19 arity/aprem arity_aprem
20 arity/cimp arity_cimp_conf
21 arity/fwd arity_gen_sort
22 arity/fwd arity_gen_lref
23 arity/fwd arity_gen_bind
24 arity/fwd arity_gen_abst
25 arity/fwd arity_gen_appl
26 arity/fwd arity_gen_cast
27 arity/fwd arity_gen_appls
28 arity/fwd arity_gen_lift
29 arity/lift1 arity_lift1
30 arity/pr3 arity_sred_wcpr0_pr0
31 arity/pr3 arity_sred_wcpr0_pr1
32 arity/pr3 arity_sred_pr2
33 arity/pr3 arity_sred_pr3
35 arity/props arity_lift
36 arity/props arity_mono
37 arity/props arity_repellent
38 arity/props arity_appls_cast
39 arity/props arity_appls_abbr
40 arity/props arity_appls_bind
41 arity/subst0 arity_gen_cvoid_subst0
42 arity/subst0 arity_gen_cvoid
43 arity/subst0 arity_fsubst0
44 arity/subst0 arity_subst0
45 asucc/fwd asucc_gen_sort
46 asucc/fwd asucc_gen_head
50 csuba/arity csuba_arity
51 csuba/arity csuba_arity_rev
52 csuba/arity arity_appls_appl
53 csuba/clear csuba_clear_conf
54 csuba/clear csuba_clear_trans
55 csuba/drop csuba_drop_abbr
56 csuba/drop csuba_drop_abst
57 csuba/drop csuba_drop_abst_rev
58 csuba/drop csuba_drop_abbr_rev
59 csuba/fwd csuba_gen_abbr
60 csuba/fwd csuba_gen_void
61 csuba/fwd csuba_gen_abst
62 csuba/fwd csuba_gen_flat
63 csuba/fwd csuba_gen_bind
64 csuba/fwd csuba_gen_abst_rev
65 csuba/fwd csuba_gen_void_rev
66 csuba/fwd csuba_gen_abbr_rev
67 csuba/fwd csuba_gen_flat_rev
68 csuba/fwd csuba_gen_bind_rev
69 csuba/getl csuba_getl_abbr
70 csuba/getl csuba_getl_abst
71 csuba/getl csuba_getl_abst_rev
72 csuba/getl csuba_getl_abbr_rev
73 csuba/props csuba_refl
74 csubc/arity csubc_arity_conf
75 csubc/arity csubc_arity_trans
76 csubc/csuba csubc_csuba
77 csubc/drop1 drop1_csubc_trans
78 csubc/drop drop_csubc_trans
79 csubt/clear csubt_clear_conf
80 csubt/csuba csubt_csuba
81 csubt/drop csubt_drop_flat
82 csubt/drop csubt_drop_abbr
83 csubt/drop csubt_drop_abst
84 csubt/fwd csubt_gen_abbr
85 csubt/fwd csubt_gen_abst
86 csubt/fwd csubt_gen_flat
87 csubt/fwd csubt_gen_bind
88 csubt/getl csubt_getl_abbr
89 csubt/getl csubt_getl_abst
92 csubt/props csubt_refl
94 csubt/ty3 csubt_ty3_ld
95 csubv/clear csubv_clear_conf
96 csubv/clear csubv_clear_conf_void
97 csubv/drop csubv_drop_conf
98 csubv/getl csubv_getl_conf
99 csubv/getl csubv_getl_conf_void
100 csubv/props csubv_bind_same
101 csubv/props csubv_refl
102 drop1/props drop1_cons_tail
103 ex0/props aplus_gz_le
104 ex0/props aplus_gz_ge
105 ex0/props next_plus_gz
108 ex1/props ex1__leq_sort_SS
113 fsubst0/fwd fsubst0_gen_base
117 leq/asucc leq_ahead_asucc_false
118 leq/asucc leq_asucc_false
119 leq/fwd leq_gen_sort1
120 leq/fwd leq_gen_head1
121 leq/fwd leq_gen_sort2
122 leq/fwd leq_gen_head2
123 leq/props ahead_inj_snd
128 leq/props leq_ahead_false_1
129 leq/props leq_ahead_false_2
130 lift1/fwd lift1_cons_tail
132 lift1/fwd lifts1_cons
133 lift/props thead_x_lift_y_y
134 lift/props lifts_tapp
136 llt/props lweight_repl
139 llt/props llt_head_sx
140 llt/props llt_head_dx
141 llt/props llt_wf__q_ind
143 next_plus/props next_plus_assoc
144 next_plus/props next_plus_next
145 next_plus/props next_plus_lt
146 nf2/arity arity_nf2_inv_all
152 nf2/fwd nf2_gen__nf2_gen_aux
156 nf2/props nf2_appls_lref
170 pc3/fsubst0 pc3_pr2_fsubst0
171 pc3/fsubst0 pc3_pr2_fsubst0_back
172 pc3/fsubst0 pc3_fsubst0
173 pc3/fwd pc3_gen_not_abst
174 pc3/fwd pc3_gen_lift_abst
176 pc3/nf2 pc3_nf2_unfold
178 pc3/props pc3_pr0_pr2_t
179 pc3/props pc3_pr2_pr2_t
180 pc3/props pc3_pr2_pr3_t
181 pc3/props pc3_pr3_pc3_t
183 pc3/wcpr0 pc3_wcpr0__pc3_wcpr0_t_aux
184 pc3/wcpr0 pc3_wcpr0_t
189 pr0/subst1 pr0_subst1_back
190 pr0/subst1 pr0_subst1_fwd
192 pr1/pr1 pr1_confluence
205 sty1/props sty1_trans
209 sty1/props sty1_correct
211 sty1/props sty1_cast2
213 subst/fwd subst_lref_lt
214 subst/fwd subst_lref_eq
215 subst/fwd subst_lref_gt
217 subst/props subst_lift_SO
218 subst/props subst_subst0
221 tlist/props tslt_wf__q_ind
222 tlist/props tslt_wf_ind
223 tlist/props theads_tapp
224 tlist/props tcons_tapp_ex
225 tlist/props tlist_ind_rev
227 ty3/arity_props ty3_predicative
228 ty3/arity_props ty3_repellent
229 ty3/arity_props ty3_acyclic
230 ty3/arity_props ty3_sn3
231 ty3/dec ty3_inference
232 ty3/fsubst0 ty3_fsubst0
233 ty3/fsubst0 ty3_csubst0
234 ty3/fsubst0 ty3_subst0
237 ty3/fwd tys3_gen_cons
238 ty3/fwd_nf2 ty3_gen_appl_nf2
239 ty3/fwd_nf2 ty3_inv_lref_nf2_pc3
240 ty3/fwd_nf2 ty3_inv_lref_nf2
241 ty3/fwd_nf2 ty3_inv_appls_lref_nf2
242 ty3/fwd_nf2 ty3_inv_lref_lref_nf2
243 ty3/nf2 ty3_nf2_inv_abst_premise_csort
244 ty3/nf2 ty3_nf2_inv_all
245 ty3/nf2 ty3_nf2_inv_sort
246 ty3/nf2 ty3_nf2_gen__ty3_nf2_inv_abst_aux
247 ty3/nf2 ty3_nf2_inv_abst
248 ty3/pr3 ty3_sred_wcpr0_pr0
253 ty3/pr3_props ty3_cred_pr2
254 ty3/pr3_props ty3_cred_pr3
255 ty3/pr3_props ty3_gen_lift
256 ty3/pr3_props ty3_tred
257 ty3/pr3_props ty3_sconv_pc3
258 ty3/pr3_props ty3_sred_back
259 ty3/pr3_props ty3_sconv
260 ty3/props ty3_gen_abst_abst
262 ty3/subst1 ty3_gen_cabbr
263 ty3/subst1 ty3_gen_cvoid
264 wf3/clear wf3_clear_conf
265 wf3/clear clear_wf3_trans
266 wf3/fwd wf3_gen_sort1
267 wf3/fwd wf3_gen_bind1
268 wf3/fwd wf3_gen_flat1
269 wf3/fwd wf3_gen_head2
270 wf3/getl wf3_getl_conf
271 wf3/getl getl_wf3_trans
282 # check ######################################################################