]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38c8106) | patch
- notation change for weight functions (following lambda)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 28 Jan 2013 18:25:59 +0000 (18:25 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 28 Jan 2013 18:25:59 +0000 (18:25 +0000)
commitfba384e357ed3c8781fc018c2c16f2b40df144af
tree3c8d9e8ea3a801cd4ad4c482c49cc73a1865da0atree | snapshot
parent38c81062ae1aedf89d426d5dcd9a27824c4b0fb0commit | diff
- notation change for weight functions (following lambda)
  that used to clash with the lref construction
- some parentheses added arround application arguments
20 files changed:
matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/dynamic/snv_ssta.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_append.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/lenv_weight.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/grammar/term_weight.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/notation.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/reducibility/tpr_tpr.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/static/aaa.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/frsup.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/ldrop.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/lift.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/substitution/tps.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/delift.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/delift_alt.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/frsupp.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/frsups.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/ltpss_dx_ltpss_dx.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/tpss.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/unfold/tpss_alt.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.