+# new ########################################################################
+
+s_le_gen s_lt_gen
+r_arith2 r_arith3 r_arith4 r_arith5 r_arith6 r_arith7
+tle tle_r
+cle_r cle_head cle_trans_head cle_flt_trans
+lift_tle lift_free_sym
+subst0_gen_lift_rev_ge
+
# waiting ####################################################################
aplus/props aplus_reg_r
arity/subst0 arity_subst0
asucc/fwd asucc_gen_sort
asucc/fwd asucc_gen_head
+
cnt/props cnt_lift
-C/props clt_wf__q_ind
-C/props clt_wf_ind
csuba/arity csuba_arity
csuba/arity csuba_arity_rev
leq/props leq_ahead_false_1
leq/props leq_ahead_false_2
lift1/fwd lift1_cons_tail
-lift1/fwd lifts1_nil
-lift1/fwd lifts1_cons
-lift/props thead_x_lift_y_y
lift/props lifts_tapp
-lift/props lifts_inj
llt/props lweight_repl
llt/props llt_repl
llt/props llt_trans
wf3/ty3 wf3_ty3_conf
# check ######################################################################
+