50 arity_gen_cvoid_subst0
227 csubv_clear_conf_void
337 iso_flats_flat_bind_false
338 iso_flats_lref_bind_false
349 leq_ahead_asucc_false
480 pc3_gen_appls_lref_abst
481 pc3_gen_appls_lref_sort
482 pc3_gen_appls_sort_abst
494 pc3_ind_left__pc3_left_pc3
495 pc3_ind_left__pc3_left_pr3
496 pc3_ind_left__pc3_left_sym
497 pc3_ind_left__pc3_left_trans
498 pc3_ind_left__pc3_pc3_left
526 pc3_wcpr0__pc3_wcpr0_t_aux
532 pr0_confluence__pr0_cong_delta
533 pr0_confluence__pr0_cong_upsilon_cong
534 pr0_confluence__pr0_cong_upsilon_delta
535 pr0_confluence__pr0_cong_upsilon_refl
536 pr0_confluence__pr0_cong_upsilon_zeta
537 pr0_confluence__pr0_delta_delta
538 pr0_confluence__pr0_delta_tau
539 pr0_confluence__pr0_upsilon_upsilon
576 pr2_confluence__pr2_delta_delta
577 pr2_confluence__pr2_free_delta
578 pr2_confluence__pr2_free_free
622 pr3_iso_appls_appl_bind
670 sc3_props__sc3_sn3_abst
749 subst0_confluence_lift
750 subst0_confluence_neq
753 subst0_gen_lift_false
756 subst0_gen_lift_rev_ge
775 subst1_confluence_lift
776 subst1_confluence_neq
805 terms_props__bind_dec
806 terms_props__flat_dec
807 terms_props__kind_dec
859 ty3_inv_appls_lref_nf2
860 ty3_inv_lref_lref_nf2
864 ty3_nf2_gen__ty3_nf2_inv_abst_aux
866 ty3_nf2_inv_abst_premise
867 ty3_nf2_inv_abst_premise_csort