]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambda_delta/basic_2/basic_1.txt
pr3/props pr3_eta
sn3/props sns3_lifts
sty1/cnt sty1_cnt
pr3/props pr3_eta
sn3/props sns3_lifts
sty1/cnt sty1_cnt
-sty1/props sty1_trans
-sty1/props sty1_bind
-sty1/props sty1_appl
-sty1/props sty1_lift
-sty1/props sty1_correct
-sty1/props sty1_abbr
-sty1/props sty1_cast2
subst/fwd subst_sort
subst/fwd subst_lref_lt
subst/fwd subst_lref_eq
subst/fwd subst_sort
subst/fwd subst_lref_lt
subst/fwd subst_lref_eq