]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8447949) | patch
- slicing relation for the global environment defined (gdrop)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Dec 2011 18:19:13 +0000 (18:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 11 Dec 2011 18:19:13 +0000 (18:19 +0000)
commit6ed2537d49a307259db46481469fa44b2cfc56e6
tree0f5873b4d2124941e8f485133a965bbb262781a7tree | snapshot
parent844794906f5a9f97406d72b5305ce13fb75acf94commit | diff
- slicing relation for the global environment defined (gdrop)
- two arithmetical lemmas inlined
matita/matita/contribs/lambda_delta/Basic_2/grammar/lsubs.ma diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/notation.ma diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/substitution/gdrop.ma [new file with mode: 0644] blob
matita/matita/contribs/lambda_delta/Basic_2/substitution/ldrop.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/ltps.ma diff | blob | history
matita/matita/contribs/lambda_delta/Ground_2/arith.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.