]> matita.cs.unibo.it Git - helm.git/commit
lebesge works
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Oct 2008 15:35:05 +0000 (15:35 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Oct 2008 15:35:05 +0000 (15:35 +0000)
commit6abb01e8b00db927e16aa790354d1da57af7875b
tree94293193e4486f2366a6154c6edbf6745444740d
parentc33fae30b4ce40198b8e1889ea1c1b58697cd567
lebesge works
helm/software/matita/contribs/dama/dama/lebesgue.ma
helm/software/matita/contribs/dama/dama/ordered_set.ma
helm/software/matita/contribs/dama/dama/property_exhaustivity.ma
helm/software/matita/contribs/dama/dama/sandwich.ma