pc1/props pc1_t
pc1/props pc1_pr0_u2
pc1/props pc1_head
+
pc3/dec pc3_dec
pc3/dec pc3_abst_dec
pc3/fsubst0 pc3_pr2_fsubst0
pc3/nf2 pc3_nf2
pc3/nf2 pc3_nf2_unfold
pc3/pc1 pc3_pc1
-pc3/props clear_pc3_trans
pc3/props pc3_pr2_r
pc3/props pc3_pr2_x
pc3/props pc3_pr3_r
pc3/props pc3_pr3_x
pc3/props pc3_pr3_t
-pc3/props pc3_refl
pc3/props pc3_s
pc3/props pc3_thin_dx
pc3/props pc3_head_1
pr2/props pr2_ctail
pr2/subst1 pr2_gen_cabbr
-pr3/fwd pr3_gen_sort
pr3/fwd pr3_gen_abst
-pr3/fwd pr3_gen_cast
-pr3/fwd pr3_gen_lift
pr3/fwd pr3_gen_lref
pr3/fwd pr3_gen_void
pr3/fwd pr3_gen_abbr
pr3/fwd pr3_gen_appl
pr3/fwd pr3_gen_bind
pr3/iso pr3_iso_appls_abbr
-pr3/iso pr3_iso_appls_cast
pr3/iso pr3_iso_appl_bind
pr3/iso pr3_iso_appls_appl_bind
pr3/iso pr3_iso_appls_bind
pr3/props pr3_head_12
pr3/props pr3_flat
pr3/props pr3_pr3_pr3_t
-pr3/props pr3_lift
pr3/props pr3_eta
pr3/subst1 pr3_subst1
pr3/subst1 pr3_gen_cabbr
pr3/wcpr0 pr3_wcpr0_t
-sn3/nf2 nf2_sn3
-sn3/props sn3_pr3_trans
sn3/props sn3_cpr3_trans
sn3/props sn3_shift
sn3/props sn3_appl_lref
sn3/props sn3_appl_abbr
sn3/props sn3_appl_cast
-sn3/props sn3_appl_bind
-sn3/props sn3_appl_appl
sn3/props sn3_appl_beta
sn3/props sn3_appl_appls
sn3/props sn3_appls_lref