]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f2866e) | patch
extension of a relation to binders
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 May 2017 10:30:15 +0000 (10:30 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 25 May 2017 10:30:15 +0000 (10:30 +0000)
commit8eae36a5d21821a23f287798e5e2a3ab37255b25
tree35d064bd98796bc307be26685a5ce8ab18841057tree | snapshot
parent9f2866e7712df7b29af3b9e9fcd161f0e3ecca09commit | diff
extension of a relation to binders
matita/matita/contribs/lambdadelta/basic_2/etc/frees/frees_bind.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/etc/frees/frees_drops.etc [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/bind_ext2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/syntax/lenv_ext2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.