]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5943d5) | 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)
commitb1ee9ef71c8badde1b783e0e0296a4e7d87a8aa4
treec47061c9abf3a02fe1833aa5520e55b26466ee7ctree | snapshot
parentf5943d511ac074948a317bb35b35faa6ad508c4ecommit | diff
Committed a first experiment in the formalization of Lebesgue dominated
convergence theorem: basic set theory and classical topology definitions.
matita/dama/makefile [new file with mode: 0644] blob
matita/dama/sets.ma [new file with mode: 0644] blob
matita/dama/topology.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.