]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 629687d) | patch
rtmaps with finite colength
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Mar 2016 19:36:29 +0000 (19:36 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 21 Mar 2016 19:36:29 +0000 (19:36 +0000)
commitff1cd6f29b3aaef01e4674544d399f44949c5738
treeb75a6da0b8c7c85bf840864de52e390058aaa9a1tree | snapshot
parent629687db8a55432e95c82f0c79e3f51c023e65a6commit | diff
rtmaps with finite colength
matita/matita/contribs/lambdadelta/ground_2/lib/arith.ma diff | blob | history
matita/matita/contribs/lambdadelta/ground_2/notation/relations/isfinite_1.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/notation/relations/rcolength_2.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_fcla.ma [new file with mode: 0644] blob
matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isfin.ma [new file with mode: 0644] blob
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.