]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c3b8ed2) | patch
initial work on lebesque
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jun 2008 14:11:17 +0000 (14:11 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 9 Jun 2008 14:11:17 +0000 (14:11 +0000)
commit3cd093c8c3f5454514802e5d3ae5edc150dbbf72
treea9383b7944e0fe0d5145875a8475760f48ac4f8etree | snapshot
parentc3b8ed2e554cbdb677729747c5b5a96112ae5169commit | diff
initial work on lebesque
helm/software/matita/contribs/dama/dama/depends diff | blob | history
helm/software/matita/contribs/dama/dama/lebesgue.ma [new file with mode: 0644] blob
helm/software/matita/contribs/dama/dama/supremum.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.