]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1e94683) | patch
colength and identity relocation
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Oct 2015 19:42:43 +0000 (19:42 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 14 Oct 2015 19:42:43 +0000 (19:42 +0000)
commitfb5c93c9812ea39fb78f1470da2095c80822e158
tree1ae5c3728e65ef482af4cf3a35dc152a65b5ddbbtree | snapshot
parent1e94683f160df35b31f1eee8f4d99a6ec8008b36commit | diff
colength and identity relocation
12 files changed:
matita/matita/contribs/lambdadelta/ground_2/lib/bool.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/list.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/list2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/norm_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isid_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/mr2.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_after.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_at.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_isid.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/trace_sor.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.