]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b264ad1) | patch
- we shared the atomic term constructions
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 29 Aug 2011 15:21:40 +0000 (15:21 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 29 Aug 2011 15:21:40 +0000 (15:21 +0000)
commit37d40349c3c82a62a8cbced18545bfd526ebe7ff
tree85e69d4e264004799c1f4416c90c582a364fcb88tree | snapshot
parentb264ad188cb0023a16dae105b037357fa75c5c1acommit | diff
- we shared the atomic term constructions
- we fixed the notation of the binary term construction
- we inverted the dependences of cl_shift and cl_weight
17 files changed:
matita/matita/contribs/lambda-delta/Basic-2/grammar/cl_shift.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/grammar/cl_weight.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/grammar/item.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/grammar/term.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/grammar/term_simple.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/grammar/term_weight.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/grammar/thom.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/notation.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/reduction/cpr.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_lift.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_tpr.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/substitution/drop.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/substitution/lift.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_lift.ma diff | blob | history
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_tps.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.