]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f215e6c) | patch
some results on co-composition ...
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 May 2016 18:57:34 +0000 (18:57 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 May 2016 18:57:34 +0000 (18:57 +0000)
commit756e320c149ae141dffbf5d75202c8e46c4a49b9
treeb2eba958423f1214eb2728897d6b1385b46f13aetree | snapshot
parentf215e6c18fbd22a049e6d34cf3bb52b0cabc4d58commit | diff
some results on co-composition ...
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rcoafter_3.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_after.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_coafter.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_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.