]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27e2334) | patch
totality of co-composition !
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 25 Jun 2016 17:52:28 +0000 (17:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sat, 25 Jun 2016 17:52:28 +0000 (17:52 +0000)
commit5b93ea047903b606979705ed25a6df6504fd027c
tree2dbe74a3f90e1a65138a0935050a624f7bf095dctree | snapshot
parent27e233449243eb4dc9b221a1117607493522c7e9commit | diff
totality of co-composition !
matita/matita/contribs/lambdadelta/ground_2/notation/functions/cocompose_2.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_coafter.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.