]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e495c53) | patch
Committed a first experiment in the formalization of Lebesgue dominated
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 May 2006 15:54:25 +0000 (15:54 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 31 May 2006 15:54:25 +0000 (15:54 +0000)
commit09af08664dba3af3980c645935b42754c19ad6b4
treeae9c790a0db281371bdc027db100339adb45ffcetree | snapshot
parente495c53824b157d5d52c4fc541db262e9d4e9674commit | diff
Committed a first experiment in the formalization of Lebesgue dominated
convergence theorem: basic set theory and classical topology definitions.
helm/software/matita/dama/makefile [new file with mode: 0644] blob
helm/software/matita/dama/sets.ma [new file with mode: 0644] blob
helm/software/matita/dama/topology.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.