[helm.git] / matita / matita / contribs / lambdadelta / rename.txt

λδ-1A
ahead_inj_snd -> leq_ahead_inj_dx
arity_abbr    -> arity_ldef
arity_abst    -> arity_ldec
arity_head    -> arity_abst