]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f021bc3) | patch
- new definition of subst based on drop
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Jul 2011 19:54:24 +0000 (19:54 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 13 Jul 2011 19:54:24 +0000 (19:54 +0000)
commitc7731146663b37f09dc62f4f22924993203c1ba6
treeb616924e489edc8ec4736fd8f35fadbbd76b5875tree | snapshot
parentf021bc3803ea15dc8f87d09604eb5911421a6281commit | diff
- new definition of subst based on drop
- pr is now based on drop
matita/matita/lib/lambda-delta/reduction/pr_defs.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/drop_defs.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/substitution/drop_main.ma [new file with mode: 0644] blob
matita/matita/lib/lambda-delta/substitution/subst_defs.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.