]> matita.cs.unibo.it Git - helm.git/commit - helm/software/matita/contribs/igft/depends
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4676482) | patch
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 24 Nov 2008 17:27:41 +0000 (17:27 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 24 Nov 2008 17:27:41 +0000 (17:27 +0000)
commita3d01f7170dd84f90481d53e271580e10e46ae75
treec453c644b0b9e8c0e0b69fcffe7ecba95a21eb49tree | snapshot
parent467648250620f63c4c6d1338167dc46ccbb92051commit | diff
...
helm/software/matita/contribs/igft/cantor.ma [new file with mode: 0644] blob
helm/software/matita/contribs/igft/depends diff | blob | history
helm/software/matita/contribs/igft/igft.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.