]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d8ebeb) | patch
lift functions and identity map
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 29 Jan 2016 14:48:27 +0000 (14:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 29 Jan 2016 14:48:27 +0000 (14:48 +0000)
commit4b8544042a6f3c5f5d303d4120c69abbc34ce15b
treed8353aa89f490c44d506b81e315b57cfc990d3b7tree | snapshot
parent7d8ebeb7b6f21204b88786c738c67f52f3703c5bcommit | diff
lift functions and identity map
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/lib/streams.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/functions/identity_0.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/functions/lift_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_after.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_at.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_id.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/nstream_lift.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/web/ground_2_src.tbl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.