]> matita.cs.unibo.it Git - helm.git/commit
the refactoring continues ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Aug 2011 12:49:38 +0000 (12:49 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 10 Aug 2011 12:49:38 +0000 (12:49 +0000)
commite4f11cddf44dd9bba21f689d4f56e2d00d8d7bb5
treea59f2bf31b2f89326dd3ccffa6e0e7c78983d7b0
parentfefe8d334012230f8e8b9d90976d9411a58d4ba8
the refactoring continues ...
23 files changed:
matita/matita/contribs/lambda-delta/Basic-2/reduction/cpr.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/reduction/lpr.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_tpr.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/reduction/tpr_tps.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/drop.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/drop_drop.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/leq.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/lift.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/lift_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/lift_weight.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_lift.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_split.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_tps.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/syntax/item.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/syntax/length.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/syntax/lenv.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/syntax/sh.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/syntax/term.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/Basic-2/syntax/weight.ma [new file with mode: 0644]
matita/matita/contribs/lambda-delta/root [new file with mode: 0644]