]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 Nov 2007 16:44:11 +0000 (16:44 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 27 Nov 2007 16:44:11 +0000 (16:44 +0000)
commita2fe87da00fb5b9a39e9a1c7d796c61d4c7346af
tree50c8248a4dc2c8b699c9b47cd9e238ef322bbbad
parentac94d350073aed443070bea5577b5888ed2dc2db
...
helm/software/matita/dama/constructive_connectives.ma
helm/software/matita/dama/constructive_pointfree/lebesgue.ma
helm/software/matita/dama/excedence.ma
helm/software/matita/dama/group.ma
helm/software/matita/dama/lattice.ma
helm/software/matita/dama/metric_space.ma
helm/software/matita/dama/ordered_group.ma
helm/software/matita/dama/premetric_lattice.ma
helm/software/matita/dama/sequence.ma