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
51 C/props clt_thead (ctail)
53 csuba/arity csuba_arity
54 csuba/arity csuba_arity_rev
55 csuba/arity arity_appls_appl
56 csuba/clear csuba_clear_conf
57 csuba/clear csuba_clear_trans
58 csuba/drop csuba_drop_abbr
59 csuba/drop csuba_drop_abst
60 csuba/drop csuba_drop_abst_rev
61 csuba/drop csuba_drop_abbr_rev
62 csuba/fwd csuba_gen_abbr
63 csuba/fwd csuba_gen_void
64 csuba/fwd csuba_gen_abst
65 csuba/fwd csuba_gen_flat
66 csuba/fwd csuba_gen_bind
67 csuba/fwd csuba_gen_abst_rev
68 csuba/fwd csuba_gen_void_rev
69 csuba/fwd csuba_gen_abbr_rev
70 csuba/fwd csuba_gen_flat_rev
71 csuba/fwd csuba_gen_bind_rev
72 csuba/getl csuba_getl_abbr
73 csuba/getl csuba_getl_abst
74 csuba/getl csuba_getl_abst_rev
75 csuba/getl csuba_getl_abbr_rev
76 csuba/props csuba_refl
77 csubc/arity csubc_arity_conf
78 csubc/arity csubc_arity_trans
79 csubc/csuba csubc_csuba
80 csubc/drop1 drop1_csubc_trans
81 csubc/drop drop_csubc_trans
82 csubt/clear csubt_clear_conf
83 csubt/csuba csubt_csuba
84 csubt/drop csubt_drop_flat
85 csubt/drop csubt_drop_abbr
86 csubt/drop csubt_drop_abst
87 csubt/fwd csubt_gen_abbr
88 csubt/fwd csubt_gen_abst
89 csubt/fwd csubt_gen_flat
90 csubt/fwd csubt_gen_bind
91 csubt/getl csubt_getl_abbr
92 csubt/getl csubt_getl_abst
95 csubt/props csubt_refl
97 csubt/ty3 csubt_ty3_ld
98 csubv/clear csubv_clear_conf
99 csubv/clear csubv_clear_conf_void
100 csubv/drop csubv_drop_conf
101 csubv/getl csubv_getl_conf
102 csubv/getl csubv_getl_conf_void
103 csubv/props csubv_bind_same
104 csubv/props csubv_refl
106 # check #############################################################
108 drop1/fwd drop1_gen_pnil
109 drop1/fwd drop1_gen_pcons
110 drop1/props drop1_skip_bind
111 drop1/props drop1_cons_tail
113 # waiting ####################################################################
115 drop/props drop_ctail
116 ex0/props aplus_gz_le
117 ex0/props aplus_gz_ge
118 ex0/props next_plus_gz
121 ex1/props ex1__leq_sort_SS
126 fsubst0/fwd fsubst0_gen_base
130 leq/asucc leq_ahead_asucc_false
131 leq/asucc leq_asucc_false
132 leq/fwd leq_gen_sort1
133 leq/fwd leq_gen_head1
134 leq/fwd leq_gen_sort2
135 leq/fwd leq_gen_head2
136 leq/props ahead_inj_snd
141 leq/props leq_ahead_false_1
142 leq/props leq_ahead_false_2
143 lift1/fwd lift1_cons_tail
144 lift1/fwd lifts1_flat
146 lift1/fwd lifts1_cons
147 lift1/props lift1_free
148 lift/props thead_x_lift_y_y
149 lift/props lifts_tapp
151 llt/props lweight_repl
154 llt/props llt_head_sx
155 llt/props llt_head_dx
156 llt/props llt_wf__q_ind
158 next_plus/props next_plus_assoc
159 next_plus/props next_plus_next
160 next_plus/props next_plus_lt
161 nf2/arity arity_nf2_inv_all
168 nf2/fwd nf2_gen__nf2_gen_aux
171 nf2/iso nf2_iso_appls_lref
173 nf2/pr3 nf2_pr3_unfold
174 nf2/pr3 nf2_pr3_confluence
176 nf2/props nf2_csort_lref
178 nf2/props nf2_abst_shift
180 nf2/props nf2_appls_lref
181 nf2/props nf2_appl_lref
182 nf2/props nf2_lref_abst
196 pc3/fsubst0 pc3_pr2_fsubst0
197 pc3/fsubst0 pc3_pr2_fsubst0_back
198 pc3/fsubst0 pc3_fsubst0
201 pc3/fwd pc3_gen_abst_shift
203 pc3/fwd pc3_gen_not_abst
204 pc3/fwd pc3_gen_lift_abst
205 pc3/fwd pc3_gen_sort_abst
206 pc3/left pc3_ind_left__pc3_left_pr3
207 pc3/left pc3_ind_left__pc3_left_trans
208 pc3/left pc3_ind_left__pc3_left_sym
209 pc3/left pc3_ind_left__pc3_left_pc3
210 pc3/left pc3_ind_left__pc3_pc3_left
211 pc3/left pc3_ind_left
213 pc3/nf2 pc3_nf2_unfold
215 pc3/props clear_pc3_trans
223 pc3/props pc3_thin_dx
229 pc3/props pc3_pr3_conf
230 pc3/props pc3_head_12
231 pc3/props pc3_head_21
232 pc3/props pc3_pr0_pr2_t
233 pc3/props pc3_pr2_pr2_t
234 pc3/props pc3_pr2_pr3_t
235 pc3/props pc3_pr3_pc3_t
238 pc3/subst1 pc3_gen_cabbr
239 pc3/wcpr0 pc3_wcpr0__pc3_wcpr0_t_aux
240 pc3/wcpr0 pc3_wcpr0_t
244 pr0/subst1 pr0_subst1_back
245 pr0/subst1 pr0_subst1_fwd
247 pr1/pr1 pr1_confluence
254 pr2/clen pr2_gen_ctail
257 pr2/subst1 pr2_gen_cabbr
267 pr3/iso pr3_iso_appls_abbr
268 pr3/iso pr3_iso_appls_cast
269 pr3/iso pr3_iso_appl_bind
270 pr3/iso pr3_iso_appls_appl_bind
271 pr3/iso pr3_iso_appls_bind
273 pr3/iso pr3_iso_appls_beta
276 pr3/pr3 pr3_confluence
277 pr3/props clear_pr3_trans
280 pr3/props pr3_thin_dx
283 pr3/props pr3_head_21
284 pr3/props pr3_head_12
287 pr3/props pr3_pr0_pr2_t
288 pr3/props pr3_pr2_pr2_t
289 pr3/props pr3_pr2_pr3_t
290 pr3/props pr3_pr3_pr3_t
293 pr3/subst1 pr3_subst1
294 pr3/subst1 pr3_gen_cabbr
295 pr3/wcpr0 pr3_wcpr0_t
296 sc3/arity sc3_arity_csubc
298 sc3/props sc3_arity_gen
304 sc3/props sc3_props__sc3_sn3_abst
312 sn3/fwd sn3_gen_cflat
314 sn3/lift1 sns3_lifts1
317 sn3/props sn3_pr3_trans
318 sn3/props sn3_pr2_intro
323 sn3/props sn3_gen_def
325 sn3/props sn3_cpr3_trans
328 sn3/props sn3_appl_lref
329 sn3/props sn3_appl_abbr
330 sn3/props sn3_appl_cast
331 sn3/props sn3_appl_bind
332 sn3/props sn3_appl_appl
333 sn3/props sn3_appl_beta
334 sn3/props sn3_appl_appls
335 sn3/props sn3_appls_lref
336 sn3/props sn3_appls_cast
337 sn3/props sn3_appls_bind
338 sn3/props sn3_appls_beta
341 sn3/props sn3_appls_abbr
343 sty0/fwd sty0_gen_sort
344 sty0/fwd sty0_gen_lref
345 sty0/fwd sty0_gen_bind
346 sty0/fwd sty0_gen_appl
347 sty0/fwd sty0_gen_cast
349 sty0/props sty0_correct
351 sty1/props sty1_trans
355 sty1/props sty1_correct
357 sty1/props sty1_cast2
359 subst/fwd subst_lref_lt
360 subst/fwd subst_lref_eq
361 subst/fwd subst_lref_gt
363 subst/props subst_lift_SO
364 subst/props subst_subst0
367 tlist/props tslt_wf__q_ind
368 tlist/props tslt_wf_ind
369 tlist/props theads_tapp
370 tlist/props tcons_tapp_ex
371 tlist/props tlist_ind_rev
373 ty3/arity_props ty3_predicative
374 ty3/arity_props ty3_repellent
375 ty3/arity_props ty3_acyclic
376 ty3/arity_props ty3_sn3
377 ty3/dec ty3_inference
378 ty3/fsubst0 ty3_fsubst0
379 ty3/fsubst0 ty3_csubst0
380 ty3/fsubst0 ty3_subst0
387 ty3/fwd tys3_gen_cons
388 ty3/fwd_nf2 ty3_gen_appl_nf2
389 ty3/fwd_nf2 ty3_inv_lref_nf2_pc3
390 ty3/fwd_nf2 ty3_inv_lref_nf2
391 ty3/fwd_nf2 ty3_inv_appls_lref_nf2
392 ty3/fwd_nf2 ty3_inv_lref_lref_nf2
393 ty3/nf2 ty3_nf2_inv_abst_premise_csort
394 ty3/nf2 ty3_nf2_inv_all
395 ty3/nf2 ty3_nf2_inv_sort
396 ty3/nf2 ty3_nf2_gen__ty3_nf2_inv_abst_aux
397 ty3/nf2 ty3_nf2_inv_abst
398 ty3/pr3 ty3_sred_wcpr0_pr0
403 ty3/pr3_props ty3_cred_pr2
404 ty3/pr3_props ty3_cred_pr3
405 ty3/pr3_props ty3_gen_lift
406 ty3/pr3_props ty3_tred
407 ty3/pr3_props ty3_sconv_pc3
408 ty3/pr3_props ty3_sred_back
409 ty3/pr3_props ty3_sconv
411 ty3/props ty3_correct
413 ty3/props ty3_gen_abst_abst
414 ty3/props ty3_typecheck
415 ty3/props ty3_getl_subst0
417 ty3/subst1 ty3_gen_cabbr
418 ty3/subst1 ty3_gen_cvoid
419 wf3/clear wf3_clear_conf
420 wf3/clear clear_wf3_trans
421 wf3/fwd wf3_gen_sort1
422 wf3/fwd wf3_gen_bind1
423 wf3/fwd wf3_gen_flat1
424 wf3/fwd wf3_gen_head2
425 wf3/getl wf3_getl_conf
426 wf3/getl getl_wf3_trans
437 # check ######################################################################