]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04c05cf) | patch
lebesgue completely dualized
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 23 Oct 2008 09:13:44 +0000 (09:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 23 Oct 2008 09:13:44 +0000 (09:13 +0000)
commit82d281529c1a9450ac213a058e7f8c0e228026fa
treed910d6f179191438e08b4b0df8ef6c4d413c1333tree | snapshot
parent04c05cf08605156ba8c6fa7225b4a90496c03698commit | diff
lebesgue completely dualized
helm/software/matita/contribs/dama/dama/ordered_set.ma diff | blob | history
helm/software/matita/contribs/dama/dama/ordered_uniform.ma diff | blob | history
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma diff | blob | history
helm/software/matita/contribs/dama/dama/supremum.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.